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

19 months ago 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

19 months ago 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

19 months ago 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

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

19 months ago wenzelm [Tue, 13 Dec 2016 23:29:54 +0100] rev 64557
more tight thread attributes, based in internal word arithmetic instead of symbolic datatypes: measurable performance improvement;
src/Pure/Concurrent/multithreading.ML src/Pure/Concurrent/standard_thread.ML src/Pure/Concurrent/thread_attributes.ML src/Pure/Tools/ml_process.scala

19 months ago wenzelm [Tue, 13 Dec 2016 11:51:42 +0100] rev 64556
more symbols;
etc/symbols lib/texinputs/isabellesym.sty src/HOL/Library/old_recdef.ML src/HOL/Tools/Predicate_Compile/predicate_compile_proof.ML src/Provers/clasimp.ML src/Provers/classical.ML src/Provers/splitter.ML src/Pure/General/name_space.ML src/Pure/General/position.ML src/Pure/Isar/attrib.ML src/Pure/Isar/local_defs.ML src/Pure/Isar/method.ML src/Pure/Isar/outer_syntax.ML src/Pure/Isar/proof_context.ML src/Pure/ML/ml_antiquotation.ML src/Pure/ML/ml_compiler0.ML src/Pure/ML/ml_env.ML src/Pure/ML/ml_options.ML src/Pure/ML/ml_print_depth.ML src/Pure/Proof/extraction.ML src/Pure/Proof/proof_syntax.ML src/Pure/Proof/reconstruct.ML src/Pure/Syntax/ast.ML src/Pure/Syntax/parser.ML src/Pure/Syntax/printer.ML src/Pure/Syntax/syntax.ML src/Pure/Syntax/syntax_trans.ML src/Pure/Thy/thy_header.ML src/Pure/Thy/thy_output.ML src/Pure/Tools/find_consts.ML src/Pure/Tools/find_theorems.ML src/Pure/conjunction.ML src/Pure/drule.ML src/Pure/goal.ML src/Pure/goal_display.ML src/Pure/more_thm.ML src/Pure/pattern.ML src/Pure/pure_syn.ML src/Pure/pure_thy.ML src/Pure/raw_simplifier.ML src/Pure/simplifier.ML src/Pure/skip_proof.ML src/Pure/type_infer.ML src/Pure/type_infer_context.ML src/Pure/unify.ML src/Pure/variable.ML src/Sequents/prover.ML src/Tools/intuitionistic.ML src/ZF/Tools/typechk.ML

19 months ago wenzelm [Mon, 12 Dec 2016 17:40:06 +0100] rev 64555
merged
CONTRIBUTORS NEWS src/HOL/Library/Types_To_Sets.thy src/HOL/Library/Types_To_Sets/internalize_sort.ML src/HOL/Library/Types_To_Sets/local_typedef.ML src/HOL/Library/Types_To_Sets/unoverloading.ML src/HOL/ROOT

19 months ago wenzelm [Mon, 12 Dec 2016 16:54:15 +0100] rev 64554
removed obsolete RC tags;
.hgtags

19 months ago wenzelm [Mon, 12 Dec 2016 15:02:35 +0100] rev 64553
Added tag Isabelle2016-1 for changeset 7aa3c52f27aa
.hgtags