Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. more packages;
  2. NEWS;
  3. more examples;
  4. more documentation;
  5. misc tuning and clarification;
  6. merged
  7. tuned PHP setup;
  8. clarified errors: PHP daemon can fail under odd circumstances;
  9. more robust;
  10. tuned message;
  11. more sanity checks;
  12. just one isabelle-phabricator-phd service, which manages all processes uniformly (NB: "bin/phd stop" affects all installations);
  13. clarified signature: allow compound arg;
  14. clarified signature;
  15. merged
  16. tuned tags
  17. more portable;
  18. updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
  19. updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
  20. tuned;
  21. tuned;
  22. clarified signature;
Changeset 71135:781b15f53098 by wenzelm:
more packages;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71134:81536e5d8ea7 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71133:962eda254ac4 by wenzelm:
more examples;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71132:e5984c853f77 by wenzelm:
more documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71131:1579a9160c7f by wenzelm:
misc tuning and clarification;
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71130:3e61534e804e by wenzelm:
merged
Changeset 71129:557703db74c3 by wenzelm:
tuned PHP setup;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71128:f79006c533b0 by wenzelm:
clarified errors: PHP daemon can fail under odd circumstances;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71127:0ad53b5f2bb1 by wenzelm:
more robust;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71126:18f87bdbc812 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71125:beb781551a66 by wenzelm:
more sanity checks;
The file was modified src/Pure/Tools/phabricator.scala (diff)
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 (diff)
Changeset 71123:6ab4a5fb82e1 by wenzelm:
clarified signature: allow compound arg;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 71122:730090397e0d by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71121:8d51418d4ec0 by nipkow:
merged
Changeset 71120:f4579e6800d7 by nipkow:
tuned tags
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
Changeset 71119:30ed6786d775 by wenzelm:
more portable;
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 71118:2bc568573a47 by wenzelm:
updated to polyml-5.8.1-20191114: rebuilt on Windows with current msys2/mingw64;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/README (diff)
Changeset 71117:2f6b092bbd25 by wenzelm:
updated MinGW installation: requires Cygwin from Isabelle2018 to avoid problems with address relocation;
The file was modified Admin/polyml/INSTALL-MinGW (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
Changeset 71116:aa1338a778c1 by wenzelm:
tuned;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71115:3199c08e6413 by wenzelm:
tuned;
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71114:6cfec8029831 by wenzelm:
clarified signature;
The file was modified src/Pure/General/file.scala (diff)
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Thy/present.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
The file was modified src/Pure/Tools/server.scala (diff)