# HG changeset patch
# User blanchet
# Date 1283278810 -7200
# Node ID cad88d38e3c6c0b2db7c5148c9d44d60b4264c68
# Parent  f0aa0c49fdbff15689ffb2f85bced78806da872d
update docs

diff -r f0aa0c49fdbf -r cad88d38e3c6 doc-src/Sledgehammer/sledgehammer.tex
--- a/doc-src/Sledgehammer/sledgehammer.tex	Tue Aug 31 20:19:58 2010 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex	Tue Aug 31 20:20:10 2010 +0200
@@ -447,7 +447,7 @@
 \label{relevance-filter}
 
 \begin{enum}
-\opdefault{relevance\_thresholds}{int\_pair}{45~90}
+\opdefault{relevance\_thresholds}{int\_pair}{45~85}
 Specifies the thresholds above which facts are considered relevant by the
 relevance filter. The first threshold is used for the first iteration of the
 relevance filter and the second threshold is used for the last iteration (if it