diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-27 18:40:09 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-27 18:40:09 +0000 |
| commit | 667b37f418f3c8bdde227c7491bc5a2a00d18947 (patch) | |
| tree | 5bf5e576a869ec01b9840970c78d3f4bfd252fc6 /src/editor/simple/index.html | |
| parent | 64beaae58ff303892e553b9744ccf3c1651a08b9 (diff) | |
gfse: work in progress on support for example-based grammar writing
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 306f2ba1f..de5efa373 100644 --- a/src/editor/simple/index.html +++ b/src/editor/simple/index.html @@ -32,13 +32,14 @@ This page does not work without JavaScript. <hr> <div class=modtime><small> HTML -<!-- hhmts start --> Last modified: Fri Jul 29 15:43:58 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Tue Sep 27 15:41:36 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> +<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> |