From a78acc722ec26be2be20f22f74e98329d57008b1 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 5 Oct 2005 19:02:19 +0000 Subject: grep etc --- doc/gf-history.html | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'doc') 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

+5/10 (AR) Printing missing linearization rules: +pm -printer=missing. Command g = grep, +which works in a way similar to Unix grep. + +

+ +5/10 (PL) Printing graphs with function and category dependencies: +pg -printer=functiongraph, pg -printer=typegraph. + +

+ 20/9 (AR) Added optimization by common subexpression elimination. It works on GFC modules and creates oper definitions for subterms that occur more than once in lin definitions. These -- cgit v1.2.3