diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
| commit | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (patch) | |
| tree | d51076a708997d6f1af6ac0deefd535bbc25f804 /src/www/gfse/index.html | |
| parent | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (diff) | |
Improvements of "gf -server" mode and related setup
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
Diffstat (limited to 'src/www/gfse/index.html')
| -rw-r--r-- | src/www/gfse/index.html | 48 |
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> |