From a6cd4c131b3b9d98c8581be9659e14155ed64bdc Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 1 Nov 2005 14:39:12 +0000
Subject: variants compilation

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

(limited to 'doc')

diff --git a/doc/gf-history.html b/doc/gf-history.html
index 5a50baa46..71306c798 100644
--- a/doc/gf-history.html
+++ b/doc/gf-history.html
@@ -25,6 +25,7 @@ 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>).
+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
-- 
cgit v1.2.3