diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-10 16:16:16 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-10 16:16:16 +0000 |
| commit | 04d2dc757c34d76711a237b583855e111e4486a7 (patch) | |
| tree | 661290c488e61c36ac5c64f0efd4f54768a19fa0 /src/editor/simple/index.html | |
| parent | 5b980dcb930a1fe380e28fb9905db64e1da37672 (diff) | |
More functionality in "gf -server" mode
"gf -server" mode now includes PGF service and the services to support
example-based grammar writing. (But gf -server is not quite ready to replace
pgf-http yet...)
Also bumped GF version number to 3.2.10-darcs
Diffstat (limited to 'src/editor/simple/index.html')
| -rw-r--r-- | src/editor/simple/index.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/editor/simple/index.html b/src/editor/simple/index.html index de5efa373..27b053300 100644 --- a/src/editor/simple/index.html +++ b/src/editor/simple/index.html @@ -32,10 +32,11 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start --> Last modified: Tue Sep 27 15:41:36 CEST 2011 <!-- hhmts end --> +<!-- 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> |