Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_systems.ML
changeset 41317 fc48faccd77b
parent 41314 2dc1dfc1bc69
child 41334 3cb52cbf0eed 
--- 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