Thu, 12 Dec 2019 15:42:58 +0100 more documentation;
wenzelm [Thu, 12 Dec 2019 15:42:58 +0100] rev 71487
more documentation;
Thu, 12 Dec 2019 13:55:03 +0100 proper support for multiple installations;
wenzelm [Thu, 12 Dec 2019 13:55:03 +0100] rev 71486
proper support for multiple installations;
Thu, 12 Dec 2019 11:49:00 +0100 clarified "isabelle phabricator -l": avoid surprise with non-existent default installation;
wenzelm [Thu, 12 Dec 2019 11:49:00 +0100] rev 71485
clarified "isabelle phabricator -l": avoid surprise with non-existent default installation;
Wed, 11 Dec 2019 23:05:57 +0100 tuned index.html;
wenzelm [Wed, 11 Dec 2019 23:05:57 +0100] rev 71484
tuned index.html;
Wed, 11 Dec 2019 22:09:34 +0100 more robust;
wenzelm [Wed, 11 Dec 2019 22:09:34 +0100] rev 71483
more robust;
Wed, 11 Dec 2019 21:49:24 +0100 more robust;
wenzelm [Wed, 11 Dec 2019 21:49:24 +0100] rev 71482
more robust;
Wed, 11 Dec 2019 19:14:49 +0100 clarified website: redirect to isabelle-dev Phabricator Overview;
wenzelm [Wed, 11 Dec 2019 19:14:49 +0100] rev 71481
clarified website: redirect to isabelle-dev Phabricator Overview;
Wed, 11 Dec 2019 16:47:33 +0100 more documentation;
wenzelm [Wed, 11 Dec 2019 16:47:33 +0100] rev 71480
more documentation;
Wed, 11 Dec 2019 14:42:12 +0100 tuned;
wenzelm [Wed, 11 Dec 2019 14:42:12 +0100] rev 71479
tuned;
Wed, 11 Dec 2019 14:29:18 +0100 support database dump;
wenzelm [Wed, 11 Dec 2019 14:29:18 +0100] rev 71478
support database dump;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip