Thu, 07 Nov 2019 10:47:33 +0100 clarified permissions;
wenzelm [Thu, 07 Nov 2019 10:47:33 +0100] rev 71268
clarified permissions;
Wed, 06 Nov 2019 23:25:11 +0100 merged
wenzelm [Wed, 06 Nov 2019 23:25:11 +0100] rev 71267
merged
Wed, 06 Nov 2019 23:24:16 +0100 discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
wenzelm [Wed, 06 Nov 2019 23:24:16 +0100] rev 71266
discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
Wed, 06 Nov 2019 23:16:30 +0100 unused;
wenzelm [Wed, 06 Nov 2019 23:16:30 +0100] rev 71265
unused;
Wed, 06 Nov 2019 22:51:54 +0100 support for Phabricator mail configuration;
wenzelm [Wed, 06 Nov 2019 22:51:54 +0100] rev 71264
support for Phabricator mail configuration; discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;
Wed, 06 Nov 2019 21:23:43 +0100 merged
traytel [Wed, 06 Nov 2019 21:23:43 +0100] rev 71263
merged
Wed, 06 Nov 2019 17:38:19 +0100 moved lemma
nipkow [Wed, 06 Nov 2019 17:38:19 +0100] rev 71262
moved lemma
Wed, 06 Nov 2019 16:57:51 +0100 corrected typo in lemma name
traytel [Wed, 06 Nov 2019 16:57:51 +0100] rev 71261
corrected typo in lemma name
Wed, 06 Nov 2019 16:38:58 +0100 merged
traytel [Wed, 06 Nov 2019 16:38:58 +0100] rev 71260
merged
Wed, 06 Nov 2019 11:08:10 +0100 tuned toc
nipkow [Wed, 06 Nov 2019 11:08:10 +0100] rev 71259
tuned toc
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip