From e6e29eab786a687223d42adc100a6a156b2b1807 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 3 Jun 2005 21:44:36 +0000
Subject: editor command sequence

---
 doc/gf-history.html | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'doc')

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
-- 
cgit v1.2.3