Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. tuned PHP setup;
  3. clarified errors: PHP daemon can fail under odd circumstances;
  4. more robust;
  5. tuned message;
  6. more sanity checks;
  7. just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations);
  8. clarified signature: allow compound arg;
  9. clarified signature;
Changeset 71130:3e61534e804e by wenzelm:
merged
Changeset 71129:557703db74c3 by wenzelm:
tuned PHP setup;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 71128:f79006c533b0 by wenzelm:
clarified errors: PHP daemon can fail under odd circumstances;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 71127:0ad53b5f2bb1 by wenzelm:
more robust;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 71126:18f87bdbc812 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 71125:beb781551a66 by wenzelm:
more sanity checks;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 71124:7dbadecdc118 by wenzelm:
just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations);
The file was modified src/Pure/Tools/phabricator.scala
Changeset 71123:6ab4a5fb82e1 by wenzelm:
clarified signature: allow compound arg;
The file was modified src/Pure/System/isabelle_system.scala
Changeset 71122:730090397e0d by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/phabricator.scala