diff --git a/doc/gf-history.html b/doc/gf-history.html
index d079c3c2c..54f3950e4 100644
--- a/doc/gf-history.html
+++ b/doc/gf-history.html
@@ -14,6 +14,23 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2
 
 <p>
 
+14/9 (BB) Added finite state approximation of grammars. 
+Internally the conversion is done <tt>cfg -&gt; regular -&gt; fa -&gt; slf</tt>, so the
+different printers can be used to check the output of each stage.
+The new options are:
+<dl>
+<dt><tt>pg -printer=slf</tt></dt>
+<dd>A finite automaton in the HTK SLF format.</dd>
+<dt><tt>pg -printer=slf_graphviz</tt></dt>
+<dd>The same FA as in SLF, but in Graphviz format.</dd>
+<dt><tt>pg -printer=fa_graphviz</tt></dt>
+<dd>An FA with labelled edges, instead of labelled nodes which SLF has.</dd>
+<dt><tt>pg -printer=regular</tt></dt>
+<dd>A regular grammar in a simple BNF.</dd>
+</dl>
+
+<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.