diff options
Diffstat (limited to 'src/editor/simple/index.html')
| -rw-r--r-- | src/editor/simple/index.html | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/src/editor/simple/index.html b/src/editor/simple/index.html deleted file mode 100644 index 27b053300..000000000 --- a/src/editor/simple/index.html +++ /dev/null @@ -1,48 +0,0 @@ -<!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 17:54:37 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="cloud.js"></script> -<script type="text/javascript" src="sort.js"></script> -</body> -</html> |