2014-11-05 wenzelm [Wed, 05 Nov 2014 21:10:38 +0100] rev 58905
more frugal keywords;
src/Pure/Tools/find_consts.ML src/Pure/Tools/find_theorems.ML

2014-11-05 wenzelm [Wed, 05 Nov 2014 20:49:30 +0100] rev 58904
eliminated pointless dynamic keywords (TTY legacy);
src/HOL/Tools/Sledgehammer/sledgehammer_util.ML src/Pure/Isar/outer_syntax.ML src/Pure/Isar/token.ML src/Pure/PIDE/resources.ML src/Pure/Thy/thy_header.ML

2014-11-05 wenzelm [Wed, 05 Nov 2014 20:20:57 +0100] rev 58903
explicit type Keyword.keywords;
tuned signature;
src/Doc/antiquote_setup.ML src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML src/HOL/Tools/Lifting/lifting_setup.ML src/HOL/Tools/Sledgehammer/sledgehammer_util.ML src/HOL/Tools/try0.ML src/Pure/Isar/attrib.ML src/Pure/Isar/keyword.ML src/Pure/Isar/outer_syntax.ML src/Pure/Isar/token.ML src/Pure/ML/ml_context.ML src/Pure/PIDE/document.ML src/Pure/PIDE/resources.ML src/Pure/ROOT.ML src/Pure/Thy/thy_header.ML src/Pure/Thy/thy_header.scala src/Pure/Thy/thy_output.ML src/Pure/Tools/find_consts.ML src/Pure/Tools/find_theorems.ML src/Pure/Tools/rail.ML src/Tools/Code/code_target.ML

2014-11-05 wenzelm [Wed, 05 Nov 2014 20:05:32 +0100] rev 58902
tuned;
src/Pure/Isar/keyword.scala

2014-11-05 wenzelm [Wed, 05 Nov 2014 17:37:25 +0100] rev 58901
clarified representation of type Keywords;
tuned signature;
src/Pure/Isar/keyword.scala src/Pure/Isar/outer_syntax.scala src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/structure_matching.scala

2014-11-05 wenzelm [Wed, 05 Nov 2014 16:57:12 +0100] rev 58900
explicit type Keyword.Keywords;
src/Pure/Isar/keyword.ML src/Pure/Isar/keyword.scala src/Pure/Isar/outer_syntax.scala src/Pure/Isar/token.scala src/Pure/Thy/thy_header.scala src/Tools/jEdit/src/rendering.scala src/Tools/jEdit/src/structure_matching.scala

2014-11-05 wenzelm [Wed, 05 Nov 2014 15:32:11 +0100] rev 58899
clarified minor/major lexicon (like ML version);
src/Pure/Isar/outer_syntax.scala src/Pure/Isar/token.scala src/Pure/Thy/thy_header.scala

2014-11-05 nipkow [Wed, 05 Nov 2014 19:43:17 +0100] rev 58898
reduced execution time
src/HOL/Number_Theory/Primes.thy

2014-11-04 wenzelm [Tue, 04 Nov 2014 18:19:38 +0100] rev 58897
proper button margins for Nimbus L&F;
properties are sorted when saved;
Admin/components/components.sha1 Admin/components/main src/Tools/jEdit/patches/content_margin src/Tools/jEdit/patches/sorted_properties

2014-11-04 wenzelm [Tue, 04 Nov 2014 17:37:15 +0100] rev 58896
approximative update of versions;
src/Tools/jEdit/src/Isabelle.props