diff options
| -rw-r--r-- | doc/gf-history.html | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html new file mode 100644 index 000000000..e1031353a --- /dev/null +++ b/doc/gf-history.html @@ -0,0 +1,39 @@ +<html> +<body bgcolor="#FFFFFF" text="#000000" > +<center> +<IMG SRC="gf-logo.gif"> + + +<h1>Grammatical Framework History of Changes</h1> + + + +Changes in functionality since May 17, 2005, release of GF Version 2.2 + +</center> + +<p> + +31/5 (AR) Default of p -rawtrees=k changed to 999999. + +<p> + +31/5 (AR) Support for restricted inheritance. + +<p> + +29/5 (AR) Parser support for reading GFC files line per line. + +<p> + +28/5 (AR) Environment variables and path wild cards. +GF_LIB_PATH and GF_GRAMMAR_PATH. + +<p> + +26/5/2005 (BB) Notation for list categories. + + + +</body> +</html> |