diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf-history.html | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html index d50f42075..f2b02d731 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -14,6 +14,17 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2 <p> +5/10 (AR) Printing missing linearization rules: +<tt>pm -printer=missing</tt>. Command <tt>g = grep</tt>, +which works in a way similar to Unix grep. + +<p> + +5/10 (PL) Printing graphs with function and category dependencies: +<tt>pg -printer=functiongraph</tt>, <tt>pg -printer=typegraph</tt>. + +<p> + 20/9 (AR) Added optimization by <b>common subexpression elimination</b>. It works on GFC modules and creates <tt>oper</tt> definitions for subterms that occur more than once in <tt>lin</tt> definitions. These |