diff options
| author | aarne <unknown> | 2005-11-02 09:51:37 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-11-02 09:51:37 +0000 |
| commit | 9ee93b4dce358eee812aa1034f2647947c013bf1 (patch) | |
| tree | 017f9687db2f1e6ab19428a49becf43b26be5ca6 | |
| parent | 928c84b36cf68b9d590ad2d8cba9e69e3cd3d2d2 (diff) | |
tt
| -rw-r--r-- | doc/gf-history.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gf-history.html b/doc/gf-history.html index 71306c798..1a6cb98b9 100644 --- a/doc/gf-history.html +++ b/doc/gf-history.html @@ -29,8 +29,8 @@ To see the probabilities, use <tt>pg -printer=probs</tt>. <br> As a by-product, the probabilistic random generation algorithm is available for any context-free abstract syntax. Use the flag -<tt>gr -cf<&tt>. This algorithm is much more efficient than the -old (more general) one. +<tt>gr -cf</tt>. This algorithm is much faster than the +old (more general) one, but it may sometimes loop. <p> |