diff options
| author | hallgren <hallgren@chalmers.se> | 2011-09-27 19:18:50 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-09-27 19:18:50 +0000 |
| commit | 61422583029e820f4a88f6b99ec16d3a958b3aa1 (patch) | |
| tree | b60611fd980c93f25a55344f19c5a5318d14d80f /src | |
| parent | cdef284b2be0ae526318e5b8d6d18a4e7fd37774 (diff) | |
gfse: mention example-based grammar writing in about.html
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> |