16 months ago wenzelm [Sun, 18 Feb 2018 16:31:56 +0100] rev 67650
tuned;
src/Pure/morphism.ML

16 months ago wenzelm [Sun, 18 Feb 2018 15:05:21 +0100] rev 67649
tuned signature;
src/HOL/Decision_Procs/Commutative_Ring.thy src/HOL/Decision_Procs/Reflective_Field.thy src/HOL/Library/conditional_parametricity.ML src/HOL/Probability/Giry_Monad.thy src/HOL/Tools/Function/function_context_tree.ML src/HOL/Tools/inductive.ML src/HOL/Tools/lin_arith.ML src/Provers/Arith/fast_lin_arith.ML src/Provers/classical.ML src/Provers/splitter.ML src/Pure/Isar/code.ML src/Pure/Isar/context_rules.ML src/Pure/Isar/locale.ML src/Pure/Isar/spec_rules.ML src/Pure/Isar/subgoal.ML src/Pure/Proof/proof_syntax.ML src/Pure/Proof/reconstruct.ML src/Pure/Tools/named_theorems.ML src/Pure/facts.ML src/Pure/more_thm.ML src/Pure/raw_simplifier.ML src/Pure/thm.ML src/Tools/Code/code_runtime.ML src/Tools/induct.ML

16 months ago wenzelm [Sat, 17 Feb 2018 20:03:37 +0100] rev 67648
more thorough jEdit.propertiesChanged(), which includes KeymapManager.reload() and jEdit.initKeyBindings();
src/Tools/jEdit/src/keymap_merge.scala

16 months ago wenzelm [Sat, 17 Feb 2018 19:37:18 +0100] rev 67647
avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";
src/Tools/jEdit/src/jEdit.props

16 months ago wenzelm [Sat, 17 Feb 2018 18:42:26 +0100] rev 67646
trim context of persistent data;
src/Pure/Isar/code.ML

16 months ago wenzelm [Sat, 17 Feb 2018 17:34:31 +0100] rev 67645
trim context of persistent data;
src/ZF/Tools/typechk.ML

16 months ago wenzelm [Sat, 17 Feb 2018 17:34:15 +0100] rev 67644
trim context of persistent data;
src/Provers/splitter.ML

16 months ago wenzelm [Sat, 17 Feb 2018 16:42:15 +0100] rev 67643
clarified apply_transaction: always continue without presentation context;
src/Pure/Isar/toplevel.ML

16 months ago wenzelm [Sat, 17 Feb 2018 16:36:40 +0100] rev 67642
more tight presentation context: avoid storing full Toplevel.state;
src/Pure/Isar/toplevel.ML

16 months ago wenzelm [Sat, 17 Feb 2018 15:17:17 +0100] rev 67641
tuned;
src/Pure/Isar/toplevel.ML