diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/editor/simple/about.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/editor/simple/about.html b/src/editor/simple/about.html index a488c6e56..c5b4a5b2a 100644 --- a/src/editor/simple/about.html +++ b/src/editor/simple/about.html @@ -204,6 +204,10 @@ Also <strong>note</strong> that each grammar is assigned a unique identity when it is first created. Renaming a grammar does not change its identity. This means that name changes are propagated between devices like other changes. +<h3>Example-based grammar writing</h3> + +This is work in progress... + <h3>Future work</h3> This prototype gives an idea of how a web based GF grammar editor could work. @@ -228,7 +232,7 @@ suitable for multiple users developing a grammar in collaboration. <hr> <div class=modtime><small> -<!-- hhmts start --> Last modified: Fri Jul 29 17:44:00 CEST 2011 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Tue Sep 27 21:16:53 CEST 2011 <!-- hhmts end --> </small></div> <address> <a href="http://www.cse.chalmers.se/~hallgren/">TH</a> |