From 780276850c013e388b3452f0d2b640c4cb761a14 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 19 Jun 2007 18:21:43 +0000
Subject: [PATCH] documented extended module syntax

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

diff --git a/doc/gf-history.html b/doc/gf-history.html
index 5f96b9569..7851980d9 100644
--- a/doc/gf-history.html
+++ b/doc/gf-history.html
@@ -16,6 +16,24 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2
 
 <hr>
 
+19/6 (AR)
+Extended the functor syntax (<tt>with</tt> modules) so that the functor can have
+restricted import and a module body (whose function is normally to complete restricted
+import). Thus the following format is now possible:
+<pre>
+  concrete C of A = E ** CI - [f,g] with (...) ** open R in {...}
+</pre>
+At the same time, the possibility of an empty module body was added to other modules
+for symmetry. This can be useful for "proxy modules" that just collect other modules
+without adding anything, e.g.
+<pre>
+  abstract Math = Arithmetic, Geometry ;
+</pre>
+
+
+<p>
+
+
 18/6 (AR)
 Added a warning for clashing constants. A constant coming from multiple opened modules
 was interpreted as "the first" found by the compiler, which was a source of difficult