| Thu, 14 Nov 2019 22:20:50 +0100 |
wenzelm |
more documentation;
|
changeset |
files
|
| Thu, 14 Nov 2019 21:49:49 +0100 |
wenzelm |
misc tuning and clarification;
|
changeset |
files
|
| Thu, 14 Nov 2019 16:22:21 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 14 Nov 2019 16:22:04 +0100 |
wenzelm |
tuned PHP setup;
|
changeset |
files
|
| Thu, 14 Nov 2019 16:07:34 +0100 |
wenzelm |
clarified errors: PHP daemon can fail under odd circumstances;
|
changeset |
files
|
| Thu, 14 Nov 2019 14:03:42 +0100 |
wenzelm |
more robust;
|
changeset |
files
|
| Thu, 14 Nov 2019 13:55:13 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Thu, 14 Nov 2019 13:48:31 +0100 |
wenzelm |
more sanity checks;
|
changeset |
files
|
| Thu, 14 Nov 2019 13:41:50 +0100 |
wenzelm |
just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations);
|
changeset |
files
|
| Thu, 14 Nov 2019 13:40:21 +0100 |
wenzelm |
clarified signature: allow compound arg;
|
changeset |
files
|
| Thu, 14 Nov 2019 13:20:09 +0100 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Thu, 14 Nov 2019 13:48:36 +0100 |
nipkow |
merged
|
changeset |
files
|
| Thu, 14 Nov 2019 11:54:52 +0100 |
nipkow |
tuned tags
|
changeset |
files
|
| Thu, 14 Nov 2019 12:42:06 +0100 |
wenzelm |
more portable;
|
changeset |
files
|
| Thu, 14 Nov 2019 11:49:54 +0100 |
wenzelm |
updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
|
changeset |
files
|