Wed, 13 Nov 2019 20:21:05 +0100 wenzelm updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
Wed, 13 Nov 2019 19:40:44 +0100 wenzelm more support for multiple daemons;
Wed, 13 Nov 2019 18:30:43 +0100 wenzelm more robust: system ssh service is required for Phabricator ssh service;
Wed, 13 Nov 2019 17:34:35 +0100 wenzelm removed obsolete material: already covered by documentation or tools;
Wed, 13 Nov 2019 17:33:59 +0100 wenzelm configure SSH hosting via "isabelle phabricator_setup_ssh";
Wed, 13 Nov 2019 16:50:48 +0100 wenzelm more robust;
Wed, 13 Nov 2019 13:28:58 +0100 wenzelm clarified signature;
Tue, 12 Nov 2019 22:16:00 +0100 wenzelm removed obsolete material -- already covered by "system" manual;
Tue, 12 Nov 2019 22:15:21 +0100 wenzelm tuned;
Tue, 12 Nov 2019 19:47:44 +0100 wenzelm merged
Tue, 12 Nov 2019 19:32:19 +0100 wenzelm more documentation;
Tue, 12 Nov 2019 16:17:25 +0100 wenzelm tuned;
Tue, 12 Nov 2019 16:12:03 +0100 wenzelm more options;
Tue, 12 Nov 2019 16:02:29 +0100 wenzelm clarified Console_Progress.echo: include empty lines as in other Progress instances, especially relevant for Progress.bash (e.g. "isabelle phabricator ./bin/config help");
Mon, 11 Nov 2019 17:32:40 +0100 wenzelm documentation on Phabricator server administration;
Mon, 11 Nov 2019 17:00:07 +0100 wenzelm tuned message;
Mon, 11 Nov 2019 11:49:43 +0100 wenzelm added "isabelle phabricator";
Thu, 14 Nov 2019 11:54:52 +0100 nipkow tuned tags
Tue, 12 Nov 2019 12:33:05 +0000 paulson New library material from the AFP entry ZFC_in_HOL
Mon, 11 Nov 2019 07:16:17 +0000 haftmann tuned order between theories
Sat, 09 Nov 2019 15:39:21 +0000 haftmann bit shifts as class operations
Sat, 09 Nov 2019 10:38:51 +0000 haftmann new lemma
Fri, 08 Nov 2019 20:59:34 +0100 wenzelm tuned comments;
Fri, 08 Nov 2019 20:28:50 +0100 wenzelm merged
Fri, 08 Nov 2019 20:12:57 +0100 wenzelm retain type information from reconstruct_proof, notably for Export_Theory.export_thm;
Fri, 08 Nov 2019 20:12:06 +0100 wenzelm tuned proofs;
Fri, 08 Nov 2019 19:06:50 +0100 wenzelm clarified modules;
Fri, 08 Nov 2019 16:25:18 +0100 wenzelm more robust;
Fri, 08 Nov 2019 16:11:09 +0100 wenzelm tuned modules;
Fri, 08 Nov 2019 12:07:39 +0100 wenzelm tuned proofs -- more stable proof terms without [rule_format];
Fri, 08 Nov 2019 16:07:31 +0000 paulson merged
Fri, 08 Nov 2019 16:07:22 +0000 paulson A slight tidying up of messy proof steps
Thu, 07 Nov 2019 16:03:26 +0100 wenzelm tuned declarations for more compact proof terms;
Thu, 07 Nov 2019 15:30:48 +0100 wenzelm prefer named facts;
Thu, 07 Nov 2019 15:16:53 +0100 wenzelm clarified contexts;
Thu, 07 Nov 2019 11:55:41 +0100 wenzelm tuned messages;
Thu, 07 Nov 2019 11:40:17 +0100 wenzelm clarified command-line;
Thu, 07 Nov 2019 11:29:03 +0100 wenzelm tuned messages;
Thu, 07 Nov 2019 11:20:49 +0100 wenzelm tuned messages;
Thu, 07 Nov 2019 11:10:06 +0100 wenzelm more messages -- expose potential database problems;
Thu, 07 Nov 2019 11:00:11 +0100 wenzelm clarified errors: include stdout;
Thu, 07 Nov 2019 10:55:57 +0100 wenzelm clarified directory;
Thu, 07 Nov 2019 10:54:17 +0100 wenzelm tuned;
Thu, 07 Nov 2019 10:50:05 +0100 wenzelm tuned message;
Thu, 07 Nov 2019 10:47:33 +0100 wenzelm clarified permissions;
Wed, 06 Nov 2019 23:25:11 +0100 wenzelm merged
Wed, 06 Nov 2019 23:24:16 +0100 wenzelm discontinued somewhat pointless Isabelle options: setup implicitly assumes Ubuntu 18.04;
Wed, 06 Nov 2019 23:16:30 +0100 wenzelm unused;
Wed, 06 Nov 2019 22:51:54 +0100 wenzelm support for Phabricator mail configuration;
Wed, 06 Nov 2019 21:23:43 +0100 traytel merged
Wed, 06 Nov 2019 17:38:19 +0100 nipkow moved lemma
Wed, 06 Nov 2019 16:57:51 +0100 traytel corrected typo in lemma name
Wed, 06 Nov 2019 16:38:58 +0100 traytel merged
Wed, 06 Nov 2019 11:08:10 +0100 nipkow tuned toc
Wed, 06 Nov 2019 09:25:53 +0100 traytel characterization of until in terms of strong until (and vice versa), contributed by Michael Foster
Tue, 05 Nov 2019 22:56:06 +0100 wenzelm merged
Tue, 05 Nov 2019 22:55:50 +0100 wenzelm proper names for multiple installations;
Tue, 05 Nov 2019 22:44:51 +0100 wenzelm more phabricator setup;
Tue, 05 Nov 2019 22:08:15 +0100 wenzelm proper service name (again): it is specific to each installation;
Tue, 05 Nov 2019 22:06:16 +0100 wenzelm back to plain name, to have it accepted my mysql;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip