summaryrefslogtreecommitdiff
path: root/src/www/gfse/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'src/www/gfse/index.html')
-rw-r--r--src/www/gfse/index.html48
1 files changed, 48 insertions, 0 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html
new file mode 100644
index 000000000..c683a1ebf
--- /dev/null
+++ b/src/www/gfse/index.html
@@ -0,0 +1,48 @@
+<!DOCTYPE html>
+<html> <!-- manifest="gfse.manifest" -->
+<head>
+<title>GF online editor for simple multilingual grammars</title>
+<meta charset="UTF-8">
+<link rel="stylesheet" type="text/css" href="editor.css" title="Cloud">
+<link rel="alternate stylesheet" type="text/css" href="molto.css" title="MOLTO">
+
+<link rel=author href="http://www.cse.chalmers.se/~hallgren/" title="Thomas Hallgren">
+
+<meta name = "viewport" content = "width = device-width">
+<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
+
+</head>
+
+<body class=hover>
+
+<h2>GF online editor for simple multilingual grammars</h2>
+<div id=editor>
+</div>
+<small class="hidden">
+<span class=more>+</span>=Add an item,
+<span class=delete>×</span>=Delete item,
+<span class=edit>%</span>=Edit item.
+</small>
+<small class="ifhover">Hover over items for hints and editing options.</small>
+
+<noscript>
+This page does not work without JavaScript.
+</noscript>
+
+<hr>
+<div class=modtime><small>
+HTML
+<!-- hhmts start --> Last modified: Mon Oct 10 19:24:05 CEST 2011 <!-- hhmts end -->
+</small></div>
+<a href="about.html">About</a>
+<pre id=debug></pre>
+<script type="text/javascript" src="config.js"></script> <!-- optional -->
+<script type="text/javascript" src="support.js"></script>
+<script type="text/javascript" src="localstorage.js"></script>
+<script type="text/javascript" src="gf_abs.js"></script>
+<script type="text/javascript" src="example_based.js"></script>
+<script type="text/javascript" src="editor.js"></script>
+<script type="text/javascript" src="cloud2.js"></script>
+<script type="text/javascript" src="sort.js"></script>
+</body>
+</html>