2016-07-10 wenzelm [Sun, 10 Jul 2016 11:18:35 +0200] rev 63429
tuned signature: more uniform Keyword.spec;
src/Pure/Isar/keyword.ML src/Pure/Isar/keyword.scala src/Pure/Isar/outer_syntax.scala src/Pure/PIDE/protocol.ML src/Pure/PIDE/protocol.scala src/Pure/Thy/thy_header.ML src/Pure/Thy/thy_header.scala src/Pure/Tools/find_consts.ML src/Pure/Tools/find_theorems.ML

2016-07-08 wenzelm [Fri, 08 Jul 2016 22:22:51 +0200] rev 63428
indentation in reminiscence to Proof General (see proof-indent.el);
src/Pure/Isar/keyword.scala src/Tools/jEdit/src/text_structure.scala

2016-07-08 wenzelm [Fri, 08 Jul 2016 09:50:53 +0200] rev 63427
tuned;
src/Tools/jEdit/src/text_structure.scala

2016-07-08 wenzelm [Fri, 08 Jul 2016 09:47:51 +0200] rev 63426
tuned;
src/Tools/jEdit/src/jedit_lib.scala

2016-07-07 wenzelm [Thu, 07 Jul 2016 21:58:07 +0200] rev 63425
tuned;
src/Tools/jEdit/src/text_structure.scala

2016-07-07 wenzelm [Thu, 07 Jul 2016 21:34:56 +0200] rev 63424
clarified signature;
src/Pure/Isar/keyword.scala src/Pure/Isar/outer_syntax.scala src/Pure/Isar/token.scala src/Tools/jEdit/src/text_structure.scala

2016-07-07 wenzelm [Thu, 07 Jul 2016 21:10:12 +0200] rev 63423
more operations;
src/Tools/jEdit/src/text_structure.scala

2016-07-07 wenzelm [Thu, 07 Jul 2016 20:54:41 +0200] rev 63422
clarified modules;
src/Tools/jEdit/lib/Tools/jedit src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/structure_matching.scala src/Tools/jEdit/src/text_structure.scala src/Tools/jEdit/src/token_markup.scala

2016-07-07 wenzelm [Thu, 07 Jul 2016 12:08:00 +0200] rev 63421
basic setup for indentation;
src/Tools/jEdit/src/isabelle.scala src/Tools/jEdit/src/token_markup.scala

2016-07-07 wenzelm [Thu, 07 Jul 2016 12:02:58 +0200] rev 63420
tuned;
src/Pure/GUI/gui.scala