isabelle: Changelog

wenzelm [Thu, 07 Nov 2019 11:10:06 +0100] rev 71075

more messages -- expose potential database problems;

wenzelm [Thu, 07 Nov 2019 11:00:11 +0100] rev 71074

clarified errors: include stdout;

wenzelm [Thu, 07 Nov 2019 10:55:57 +0100] rev 71073

clarified directory;

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;

isabelle