diff options
| author | hallgren <hallgren@chalmers.se> | 2012-10-04 15:21:30 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-10-04 15:21:30 +0000 |
| commit | 1eef49ac936947e34af470e339e00056fce50b87 (patch) | |
| tree | ebb944e2d7f56ed937c7abd54332498ffd756492 /src/www/gfse/index.html | |
| parent | ec9dc23f466499fa4c77f14553b2cb1d03ce0e82 (diff) | |
gfse: various code improvements and prelimiary support for public grammars
Diffstat (limited to 'src/www/gfse/index.html')
| -rw-r--r-- | src/www/gfse/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/www/gfse/index.html b/src/www/gfse/index.html index 993f1a4d9..3b3543c2a 100644 --- a/src/www/gfse/index.html +++ b/src/www/gfse/index.html @@ -33,7 +33,7 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start --> Last modified: Thu Jun 21 16:40:51 CEST 2012 <!-- hhmts end --> +<!-- hhmts start -->Last modified: Wed Oct 3 23:44:31 CEST 2012 <!-- hhmts end --> </small></div> <a href="about.html">About</a> <pre id=debug></pre> @@ -43,8 +43,8 @@ HTML <script type="text/javascript" src="gf_abs.js"></script> <script type="text/javascript" src="example_based.js"></script> <script type="text/javascript" src="sort.js"></script> -<script type="text/javascript" src="editor.js"></script> <script type="text/javascript" src="cloud2.js"></script> +<script type="text/javascript" src="editor.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> |