diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/gf-history.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html index 362109886..d079c3c2c 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -14,6 +14,12 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2 <p> +4/9 (AR) Added the option <tt>pg -printer=stat</tt> to show +statistics of gfc compilation result. To be extended with new information. +The most important stats now are the top-40 sized definitions. + +<p> + 1/7 <b>Release of GF 2.3</b>. <p> |