diff options
| author | aarne <unknown> | 2005-06-03 21:44:36 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-06-03 21:44:36 +0000 |
| commit | e6e29eab786a687223d42adc100a6a156b2b1807 (patch) | |
| tree | 2987fe3003be97ba5095bb3a933cc20a4344beb3 /doc | |
| parent | 0bb4ffe0570e6a15955e9777e28b8f1aa346ba8f (diff) | |
editor command sequence
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 |