From 6a66fc5d71747c1009590e68887a9bbd6f44e598 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 10 Jun 2005 20:04:00 +0000 Subject: gfe as preprocessing to compiler --- doc/gf-history.html | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'doc') 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

+10/6 (AR) Preprocessor of .gfe files can now be performed as part of +any grammar compilation. The flag -ex causes GF to look for +the .gfe files and preprocess those that are younger +than the corresponding .gf files. The files are first sorted +and group by the resource, so that each resource only need be compiled once. + +

+ +10/6 (AR) Editor GUI can now be alternatively invoked by the shell +command gf -edit (equivalent to jgf). + +

+ +10/6 (AR) Editor GUI command pc Int to pop Int +items from the clip board. + +

+ 4/6 (AR) Sequence of commands in the Java editor GUI now possible. The commands are separated by ;; (notice the space on both sides of the two semicolons). Such a sequence can be sent -- cgit v1.2.3