From 27c65e985d1a0c23978239bd52342c766964b98b Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 1 Nov 2005 08:20:09 +0000
Subject: doc of prob

---
 doc/gf-history.html | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'doc')

diff --git a/doc/gf-history.html b/doc/gf-history.html
index 193b18a50..5a50baa46 100644
--- a/doc/gf-history.html
+++ b/doc/gf-history.html
@@ -12,11 +12,24 @@ Changes in functionality since May 17, 2005, release of GF Version 2.2
 
 </center>
 
+1/11 (AR) Yet another method for adding probabilities: append
+<tt> --# prob Double</tt> to the end of a line defining a function.
+This can be (1) a <tt>.cf</tt> rule (2) a <tt>fun</tt> rule, or
+(3) a <tt>lin</tt> rule. The probability is attached to the
+first identifier on the line.
+
+<p>
+
 31/10 (AR) Probabilistic grammars. Probabilities can be used to
 weight random generation (<tt>gr -prob</tt>) and to rank parse
 results (<tt>p -prob</tt>). They are read from a separate file
 (flag <tt>i -probs=File</tt>, format <tt>--# prob Fun Double</tt>)
 or from the top-level grammar file itself (option <tt>i -prob</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.
 
 <p>
 
-- 
cgit v1.2.3