diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf-history.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html index 6c3282846..98a40bba3 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -14,6 +14,14 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2 <p> +4/6 (AR) Sequence of commands in the Java editor GUI now possible. +The commands are separated by <tt> ;; </tt> (notice the space on +both sides of the two semicolons). Such a sequence can be sent +from the "GF Command" pop-up field, but is mostly intended +for external processes that communicate with GF. + +<p> + 3/6 (AR) The format <tt>.gfe</tt> defined to support <b>grammar writing by examples</b>. Files of this format are first converted to <tt>.gf</tt> files by the command |