Wed, 02 Mar 2022 15:04:59 +0100 support system path representations (as in Isabelle/Java/Scala);
wenzelm [Wed, 02 Mar 2022 15:04:59 +0100] rev 75175
support system path representations (as in Isabelle/Java/Scala);
Wed, 02 Mar 2022 12:29:57 +0100 auto-update;
wenzelm [Wed, 02 Mar 2022 12:29:57 +0100] rev 75174
auto-update;
Wed, 02 Mar 2022 12:28:46 +0100 more robust;
wenzelm [Wed, 02 Mar 2022 12:28:46 +0100] rev 75173
more robust;
Mon, 28 Feb 2022 14:53:52 +0100 clarified modules;
wenzelm [Mon, 28 Feb 2022 14:53:52 +0100] rev 75172
clarified modules;
Mon, 28 Feb 2022 14:29:23 +0100 clarified rendering;
wenzelm [Mon, 28 Feb 2022 14:29:23 +0100] rev 75171
clarified rendering;
Mon, 28 Feb 2022 14:26:44 +0100 prefer hardwired locale;
wenzelm [Mon, 28 Feb 2022 14:26:44 +0100] rev 75170
prefer hardwired locale;
Mon, 28 Feb 2022 14:24:39 +0100 more aggressive activation;
wenzelm [Mon, 28 Feb 2022 14:24:39 +0100] rev 75169
more aggressive activation;
Tue, 01 Mar 2022 15:05:27 +0000 Added some theorems (from Wetzel)
paulson <lp15@cam.ac.uk> [Tue, 01 Mar 2022 15:05:27 +0000] rev 75168
Added some theorems (from Wetzel)
Mon, 28 Feb 2022 13:10:22 +0100 tuned;
wenzelm [Mon, 28 Feb 2022 13:10:22 +0100] rev 75167
tuned;
Mon, 28 Feb 2022 13:02:40 +0100 tuned;
wenzelm [Mon, 28 Feb 2022 13:02:40 +0100] rev 75166
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip