Thu, 12 Dec 2019 11:49:00 +0100 | wenzelm | clarified "isabelle phabricator -l": avoid surprise with non-existent default installation; | file | diff | annotate |
Wed, 11 Dec 2019 16:47:33 +0100 | wenzelm | more documentation; | file | diff | annotate |
Tue, 10 Dec 2019 20:57:54 +0100 | wenzelm | tuned; | file | diff | annotate |
Thu, 14 Nov 2019 22:32:43 +0100 | wenzelm | more examples; | file | diff | annotate |
Thu, 14 Nov 2019 22:20:50 +0100 | wenzelm | more documentation; | file | diff | annotate |
Thu, 14 Nov 2019 21:49:49 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
Tue, 12 Nov 2019 22:15:21 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 12 Nov 2019 19:32:19 +0100 | wenzelm | more documentation; | file | diff | annotate |
Mon, 11 Nov 2019 17:32:40 +0100 | wenzelm | documentation on Phabricator server administration; | file | diff | annotate |