2016-12-14 wenzelm [Wed, 14 Dec 2016 16:59:41 +0100] rev 64567
always close derivation, for significantly improved performance without parallel proofs;
src/Pure/Isar/proof.ML src/Pure/goal.ML

2016-12-14 wenzelm [Wed, 14 Dec 2016 15:48:18 +0100] rev 64566
tuned whitespace;
src/Pure/proofterm.ML

2016-12-14 wenzelm [Wed, 14 Dec 2016 11:53:45 +0100] rev 64565
removed of_string_limited;
src/Pure/General/source.ML

2016-12-14 wenzelm [Wed, 14 Dec 2016 11:26:23 +0100] rev 64564
tuned;
src/Pure/Concurrent/thread_attributes.ML

2016-12-14 wenzelm [Wed, 14 Dec 2016 10:40:25 +0100] rev 64563
tuned;
src/Pure/Concurrent/multithreading.ML

2016-12-14 wenzelm [Wed, 14 Dec 2016 10:29:47 +0100] rev 64562
tuned;
src/Pure/Concurrent/multithreading.ML

2016-12-15 blanchet [Thu, 15 Dec 2016 15:05:35 +0100] rev 64561
updated CASC instructions + tuning
src/HOL/TPTP/ATP_Problem_Import.thy src/HOL/TPTP/CASC/ReadMe src/HOL/TPTP/CASC/SysDesc_Isabelle.html src/HOL/TPTP/CASC/SysDesc_Nitpick.html src/HOL/TPTP/CASC/SysDesc_Refute.html src/HOL/TPTP/atp_problem_import.ML src/HOL/TPTP/lib/Tools/tptp_isabelle src/HOL/TPTP/lib/Tools/tptp_isabelle_hot src/HOL/TPTP/lib/Tools/tptp_nitpick src/HOL/TPTP/lib/Tools/tptp_refute src/HOL/TPTP/lib/Tools/tptp_sledgehammer src/HOL/TPTP/lib/Tools/tptp_translate

2016-12-14 blanchet [Wed, 14 Dec 2016 18:52:17 +0100] rev 64560
support THF1 parsing for 'tptp_...' commands (e.g. 'tptp_isabelle') -- useful for CASC, SystemOnTPTP, ...
src/HOL/TPTP/TPTP_Parser/tptp_interpret.ML src/HOL/TPTP/TPTP_Parser/tptp_syntax.ML src/HOL/TPTP/TPTP_Parser/tptp_to_dot.ML

2016-12-14 blanchet [Wed, 14 Dec 2016 09:19:50 +0100] rev 64559
only recognize maps if the type names match
src/HOL/Tools/BNF/bnf_gfp_grec_sugar.ML

2016-12-14 blanchet [Wed, 14 Dec 2016 09:19:49 +0100] rev 64558
robustness
src/HOL/Tools/BNF/bnf_gfp_grec_sugar_util.ML