2015-11-10 wenzelm [Tue, 10 Nov 2015 22:20:46 +0100] rev 61621
more thorough check_action, including completion;
src/Doc/antiquote_setup.ML src/Pure/Tools/jedit.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 21:52:18 +0100] rev 61620
tuned signature;
src/Doc/antiquote_setup.ML src/Pure/Tools/jedit.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 21:31:14 +0100] rev 61619
clarified modules;
src/Pure/ROOT src/Pure/ROOT.ML src/Pure/Thy/document_antiquotations.ML src/Pure/Thy/thy_output.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 20:49:48 +0100] rev 61618
more thorough check_command, including completion;
src/Doc/antiquote_setup.ML src/Pure/Isar/keyword.ML src/Pure/Isar/outer_syntax.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 20:10:17 +0100] rev 61617
clarified modules;
src/Doc/antiquote_setup.ML src/Pure/Pure.thy src/Pure/Tools/jedit.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 19:56:51 +0100] rev 61616
unused;
src/Doc/antiquote_setup.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 19:50:56 +0100] rev 61615
ignore pointless/unused options;
src/Doc/antiquote_setup.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 19:03:29 +0100] rev 61614
added document antiquotation @{theory_text};
tuned document;
NEWS src/Doc/Isar_Ref/Document_Preparation.thy src/Pure/Isar/token.ML src/Pure/PIDE/markup.ML src/Pure/Thy/thy_output.ML

2015-11-10 wenzelm [Tue, 10 Nov 2015 16:03:59 +0100] rev 61613
allow open symboloid;
src/Pure/General/completion.scala

2015-11-10 fleury <Mathias.Fleury@mpi-inf.mpg.de> [Tue, 10 Nov 2015 17:49:54 +0100] rev 61612
generalized so that is also works for veriT proofs
src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML