7 months ago paulson <lp15@cam.ac.uk> [Sun, 28 Apr 2019 16:50:19 +0100] rev 70208
removal of ASCII connectives; some de-applying
src/HOL/Nonstandard_Analysis/HTranscendental.thy

7 months ago wenzelm [Sun, 28 Apr 2019 22:22:29 +0200] rev 70207
tuned -- according to main website;
src/Pure/Admin/build_release.scala

7 months ago wenzelm [Sun, 28 Apr 2019 22:20:39 +0200] rev 70206
more ambitious compression;
src/Pure/Admin/build_release.scala

7 months ago wenzelm [Sun, 28 Apr 2019 13:09:15 +0200] rev 70205
tuned signature;
src/Pure/Isar/parse.ML src/Pure/Pure.thy src/Pure/Thy/document_marker.ML

7 months ago wenzelm [Sun, 28 Apr 2019 13:03:16 +0200] rev 70204
completion for \<^const>, although it often requires an extra argument;
etc/symbols

7 months ago wenzelm [Sun, 28 Apr 2019 12:34:56 +0200] rev 70203
proper treatment of root as directory;
src/Tools/jEdit/src/isabelle_vfs.scala

7 months ago paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 21:56:59 +0100] rev 70202
tiny bit of extra restructuring
src/HOL/ex/Tarski.thy

7 months ago paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 20:00:38 +0100] rev 70201
some variable renaming
src/HOL/ex/Dedekind_Real.thy

7 months ago paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 18:54:32 +0100] rev 70200
tweaks esp renaming Rep_preal
src/HOL/ex/Dedekind_Real.thy

7 months ago paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 18:45:00 +0100] rev 70199
Massive restructuring; deleting unused theorems
src/HOL/ex/Dedekind_Real.thy