diff options
| author | aarne <unknown> | 2005-10-05 19:02:19 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-05 19:02:19 +0000 |
| commit | a78acc722ec26be2be20f22f74e98329d57008b1 (patch) | |
| tree | 218294b2a57d3b6f8edce7730b9aa97d7537fadf /doc | |
| parent | 1703bb826e314eb78c15f846af1e76784f7759e2 (diff) | |
grep etc
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 |