diff options
| author | hallgren <hallgren@chalmers.se> | 2011-07-25 19:21:46 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-07-25 19:21:46 +0000 |
| commit | 0f7743992b1816ba0bddffe4c7c122469c47e32b (patch) | |
| tree | d3767ea812ebc5d142f1ec03a177d91978e704e1 /src/editor/simple/index.html | |
| parent | 848373e29e6d16db50b68e8835a474dd14b5ab9d (diff) | |
gfse: various small improvements
Diffstat (limited to 'src/editor/simple/index.html')
| -rw-r--r-- | src/editor/simple/index.html | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/editor/simple/index.html b/src/editor/simple/index.html index d325985c3..aab014b42 100644 --- a/src/editor/simple/index.html +++ b/src/editor/simple/index.html @@ -1,7 +1,8 @@ -<!DOCTYPE HTML> -<html manifest="gfse.manifest"> +<!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"> @@ -9,7 +10,6 @@ <meta name = "viewport" content = "width = device-width"> <meta http-equiv="Content-type" content="text/html;charset=UTF-8"> -<meta charset="UTF-8"> </head> @@ -32,9 +32,10 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start --> Last modified: Mon Mar 28 16:45:53 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Mon Jul 25 21:01:48 CEST 2011 <!-- hhmts end --> </small></div> <a href="about.html">About</a> +<pre id=debug></pre> <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> |