isabelle: Changelog

wenzelm [Thu, 07 Nov 2019 10:54:17 +0100] rev 71072

tuned;

wenzelm [Thu, 07 Nov 2019 10:50:05 +0100] rev 71071

tuned message;

wenzelm [Thu, 07 Nov 2019 10:47:33 +0100] rev 71070

clarified permissions;

wenzelm [Wed, 06 Nov 2019 23:25:11 +0100] rev 71069

merged

wenzelm [Wed, 06 Nov 2019 23:24:16 +0100] rev 71068

discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;

wenzelm [Wed, 06 Nov 2019 23:16:30 +0100] rev 71067

unused;

wenzelm [Wed, 06 Nov 2019 22:51:54 +0100] rev 71066

support for Phabricator mail configuration; discontinued template for "isabelle phabricator_update" -- is likely to become a plain shell script;

traytel [Wed, 06 Nov 2019 21:23:43 +0100] rev 71065

merged

traytel [Wed, 06 Nov 2019 16:57:51 +0100] rev 71064

corrected typo in lemma name

nipkow [Wed, 06 Nov 2019 17:38:19 +0100] rev 71063

moved lemma

isabelle