diff options
| author | aarne <unknown> | 2005-05-31 19:27:58 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-31 19:27:58 +0000 |
| commit | d1ce9df4643af5f27972771ad6baf4d7bc81d369 (patch) | |
| tree | fdb3c221f41d3eb93635b93510a399297af1b4a3 | |
| parent | d4c1a0f09da12c259cdf8e2bb374411f629bef2a (diff) | |
history doc
| -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> |