Wed, 15 Aug 2018 13:08:25 +0200 Added tag Isabelle2018 for changeset 91162dd89571
wenzelm [Wed, 15 Aug 2018 13:08:25 +0200] rev 68748
Added tag Isabelle2018 for changeset 91162dd89571
Wed, 15 Aug 2018 13:21:14 +0200 merged
wenzelm [Wed, 15 Aug 2018 13:21:14 +0200] rev 68747
merged
Wed, 15 Aug 2018 13:02:48 +0200 canonical session directories in correspondence to Known.files;
wenzelm [Wed, 15 Aug 2018 13:02:48 +0200] rev 68746
canonical session directories in correspondence to Known.files;
Tue, 14 Aug 2018 16:05:40 +0100 Zorn's lemma for relations defined by predicates
paulson <lp15@cam.ac.uk> [Tue, 14 Aug 2018 16:05:40 +0100] rev 68745
Zorn's lemma for relations defined by predicates
Sun, 12 Aug 2018 14:31:46 +0200 merged
wenzelm [Sun, 12 Aug 2018 14:31:46 +0200] rev 68744
merged
Sun, 12 Aug 2018 14:28:28 +0200 proper session dirs; Isabelle2018
wenzelm [Sun, 12 Aug 2018 14:28:28 +0200] rev 68743
proper session dirs;
Sat, 11 Aug 2018 17:33:00 +0200 tuned signature;
wenzelm [Sat, 11 Aug 2018 17:33:00 +0200] rev 68742
tuned signature;
Sat, 11 Aug 2018 17:28:20 +0200 tuned;
wenzelm [Sat, 11 Aug 2018 17:28:20 +0200] rev 68741
tuned;
Sat, 11 Aug 2018 16:02:55 +0200 merged;
wenzelm [Sat, 11 Aug 2018 16:02:55 +0200] rev 68740
merged;
Tue, 07 Aug 2018 11:39:40 +0200 Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109
wenzelm [Tue, 07 Aug 2018 11:39:40 +0200] rev 68739
Added tag Isabelle2018-RC4 for changeset 34b8ff7cb109
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip