2012-07-20 wenzelm [Fri, 20 Jul 2012 22:29:25 +0200] rev 48409
more explicit java.io.{File => JFile};
src/Pure/General/path.scala src/Pure/General/position.scala src/Pure/General/scan.scala src/Pure/General/sha1.scala src/Pure/System/build.scala src/Pure/System/isabelle_system.scala src/Pure/System/options.scala src/Pure/System/standard_system.scala src/Pure/System/system_channel.scala src/Pure/Thy/thy_header.scala src/Pure/Thy/thy_load.scala src/Tools/jEdit/src/isabelle_hyperlinks.scala src/Tools/jEdit/src/jedit_thy_load.scala src/Tools/jEdit/src/scala_console.scala

2012-07-20 blanchet [Fri, 20 Jul 2012 22:43:51 +0200] rev 48408
tune Mesh filter
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48407
faster maximal node computation
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML src/HOL/Tools/Sledgehammer/sledgehammer_run.ML

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48406
honor suggested MaSh weights
src/HOL/Mirabelle/Tools/mirabelle_sledgehammer_filter.ML src/HOL/TPTP/atp_theory_export.ML src/HOL/TPTP/mash_eval.ML src/HOL/TPTP/mash_export.ML src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML src/HOL/Tools/Sledgehammer/sledgehammer_mepo.ML

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48405
use CVC3 and Yices by default if they are available and there are enough cores
doc-src/Sledgehammer/sledgehammer.tex src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48404
relearn ATP proofs
src/HOL/TPTP/mash_eval.ML src/HOL/TPTP/mash_export.ML src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48403
don't store fresh names in fact graph, since these cannot be the parents of any other facts
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48402
added MaSh to news
NEWS

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48401
cached ancestor computation
src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML

2012-07-20 blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48400
minimal maxes + tuning
src/HOL/Tools/Sledgehammer/sledgehammer_fact.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML