8 months ago wenzelm [Wed, 15 Aug 2018 16:09:44 +0200] rev 68750
updated common hosts;
Admin/Release/mirror-website

8 months ago wenzelm [Wed, 15 Aug 2018 16:04:15 +0200] rev 68749
merged

8 months ago wenzelm [Wed, 15 Aug 2018 13:08:25 +0200] rev 68748
Added tag Isabelle2018 for changeset 91162dd89571
.hgtags

8 months ago wenzelm [Wed, 15 Aug 2018 13:21:14 +0200] rev 68747
merged

8 months ago wenzelm [Wed, 15 Aug 2018 13:02:48 +0200] rev 68746
canonical session directories in correspondence to Known.files;
src/Pure/Thy/sessions.scala

8 months ago paulson <lp15@cam.ac.uk> [Tue, 14 Aug 2018 16:05:40 +0100] rev 68745
Zorn's lemma for relations defined by predicates
src/HOL/Cardinals/Wellorder_Extension.thy src/HOL/Nonstandard_Analysis/Free_Ultrafilter.thy src/HOL/Order_Relation.thy src/HOL/Zorn.thy

8 months ago wenzelm [Sun, 12 Aug 2018 14:31:46 +0200] rev 68744
merged
src/Pure/Tools/dump.scala

8 months ago wenzelm [Sun, 12 Aug 2018 14:28:28 +0200] rev 68743 Isabelle2018
proper session dirs;
src/Pure/Tools/dump.scala

8 months ago wenzelm [Sat, 11 Aug 2018 17:33:00 +0200] rev 68742
tuned signature;
src/Pure/General/json.scala src/Pure/Tools/server_commands.scala

8 months ago wenzelm [Sat, 11 Aug 2018 17:28:20 +0200] rev 68741
tuned;
src/Pure/Tools/dump.scala