editor command sequence

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