13 months ago wenzelm [Wed, 21 Jun 2017 22:04:20 +0200] rev 66159
more completion;
src/Tools/VSCode/src/vscode_rendering.scala

13 months ago wenzelm [Wed, 21 Jun 2017 21:55:07 +0200] rev 66158
clarified modules;
etc/options src/Doc/JEdit/JEdit.thy src/Pure/PIDE/rendering.scala src/Tools/jEdit/etc/options src/Tools/jEdit/src/completion_popup.scala

13 months ago wenzelm [Wed, 21 Jun 2017 21:10:51 +0200] rev 66157
tuned signature;
src/Pure/General/completion.scala src/Tools/VSCode/src/vscode_rendering.scala src/Tools/jEdit/src/completion_popup.scala

13 months ago blanchet [Wed, 21 Jun 2017 22:48:55 +0200] rev 66156
added -d option to Mirabelle
src/HOL/Mirabelle/lib/Tools/mirabelle src/HOL/Mirabelle/lib/scripts/mirabelle.pl

13 months ago haftmann [Tue, 20 Jun 2017 21:41:59 +0200] rev 66155
stripped code pre/postprocessor setup for real from superfluous rules
src/HOL/Real.thy

13 months ago paulson <lp15@cam.ac.uk> [Wed, 21 Jun 2017 17:13:55 +0100] rev 66154
Tidying up integration theory and some new theorems
src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy src/HOL/Analysis/Euclidean_Space.thy src/HOL/Analysis/Henstock_Kurzweil_Integration.thy src/HOL/Analysis/Tagged_Division.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Archimedean_Field.thy

13 months ago wenzelm [Wed, 21 Jun 2017 15:04:26 +0200] rev 66153
more completion;
src/Tools/VSCode/src/vscode_rendering.scala

13 months ago wenzelm [Wed, 21 Jun 2017 14:56:44 +0200] rev 66152
tuned signature;
src/Pure/Tools/bibtex.scala src/Tools/VSCode/src/vscode_rendering.scala src/Tools/VSCode/src/vscode_resources.scala src/Tools/jEdit/src/completion_popup.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/jedit_bibtex.scala

13 months ago wenzelm [Wed, 21 Jun 2017 14:30:20 +0200] rev 66151
tuned signature;
src/Pure/General/completion.scala src/Tools/VSCode/src/vscode_rendering.scala src/Tools/jEdit/src/completion_popup.scala

13 months ago wenzelm [Wed, 21 Jun 2017 14:06:16 +0200] rev 66150
tuned signature;
src/Pure/PIDE/document.scala src/Pure/Tools/bibtex.scala src/Tools/VSCode/src/document_model.scala src/Tools/VSCode/src/vscode_rendering.scala src/Tools/VSCode/src/vscode_resources.scala src/Tools/jEdit/src/document_model.scala src/Tools/jEdit/src/jedit_bibtex.scala src/Tools/jEdit/src/jedit_rendering.scala