diff options
Diffstat (limited to 'src/www/gfse/index.html')
| -rw-r--r-- | src/www/gfse/index.html | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index a3b9559e9..bf439b1de 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -4,6 +4,7 @@ <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="stylesheet" type="text/css" href="../minibar/minibar.css"> <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"> @@ -32,7 +33,7 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start --> Last modified: Fri Feb 10 17:47:16 CET 2012 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Mon Feb 13 18:05:45 CET 2012 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <pre id=debug></pre> @@ -44,5 +45,10 @@ HTML <script type="text/javascript" src="editor.js"></script> <script type="text/javascript" src="cloud2.js"></script> <script type="text/javascript" src="sort.js"></script> +<script type="text/JavaScript" src="../minibar/minibar.js"></script> +<script type="text/JavaScript" src="../minibar/minibar_input.js"></script> +<script type="text/JavaScript" src="../minibar/minibar_translations.js"></script> +<script type="text/JavaScript" src="../minibar/minibar_support.js"></script> +<script type="text/JavaScript" src="../minibar/pgf_online.js"></script> </body> </html> |