Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
disable feature that was enabled by mistake
authorblanchet
Mon, 20 Dec 2010 14:17:49 +0100
changeset 41317 fc48faccd77b
parent 41316 558afd8b94d6
child 41318 adcb92c0513b
disable feature that was enabled by mistake
src/HOL/Tools/ATP/atp_systems.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_systems.ML	Mon Dec 20 14:10:40 2010 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Mon Dec 20 14:17:49 2010 +0100
@@ -99,7 +99,7 @@
 val tstp_proof_delims =
   ("# SZS output start CNFRefutation.", "# SZS output end CNFRefutation")
 
-val e_generate_weights = Unsynchronized.ref true
+val e_generate_weights = Unsynchronized.ref false
 val e_weight_factor = Unsynchronized.ref 60.0
 val e_default_weight = Unsynchronized.ref 0.5
isabelle