diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf-history.html | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html index 98a40bba3..1f0b81ad3 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -14,6 +14,24 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2 <p> +10/6 (AR) Preprocessor of <tt>.gfe</tt> files can now be performed as part of +any grammar compilation. The flag <tt>-ex</tt> causes GF to look for +the <tt>.gfe</tt> files and preprocess those that are younger +than the corresponding <tt>.gf</tt> files. The files are first sorted +and group by the resource, so that each resource only need be compiled once. + +<p> + +10/6 (AR) Editor GUI can now be alternatively invoked by the shell +command <tt>gf -edit</tt> (equivalent to <tt>jgf</tt>). + +<p> + +10/6 (AR) Editor GUI command <tt>pc Int</tt> to pop <tt>Int</tt> +items from the clip board. + +<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 |