Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
  2. more support for multiple daemons;
  3. more robust: system ssh service is required for Phabricator ssh service;
  4. removed obsolete material: already covered by documentation or tools;
  5. configure SSH hosting via "isabelle phabricator_setup_ssh"; tuned message;
  6. more robust;
  7. clarified signature; more operations;
Changeset 71113:153ed199c0d4 by wenzelm:
updated to polyml-5.8.1-20191113 test version (Poly/ML 67e87c763417);
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 71112:eed5b6188371 by wenzelm:
more support for multiple daemons;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71111:cd166c3904dd by wenzelm:
more robust: system ssh service is required for Phabricator ssh service;
The file was modified src/Pure/System/linux.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71110:070a9b62f44a by wenzelm:
removed obsolete material: already covered by documentation or tools;
The file was modified Admin/Phabricator/README (diff)
The file was removedAdmin/Phabricator/phd/phd-phabricator.service
The file was removedAdmin/Phabricator/ssh/ssh-hook
The file was removedAdmin/Phabricator/ssh/sshd-phabricator.service
The file was removedAdmin/Phabricator/ssh/sshd_config.phabricator
The file was removedAdmin/Phabricator/ssh/sudoers.d/phabricator
Changeset 71109:8c1c717a830b by wenzelm:
configure SSH hosting via &quot;isabelle phabricator_setup_ssh&quot;;<br>tuned message;
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71108:783d5786255d by wenzelm:
more robust;
The file was modified src/Pure/System/linux.scala (diff)
Changeset 71107:25c85cc3bc71 by wenzelm:
clarified signature;<br>more operations;
The file was modified src/Pure/System/linux.scala (diff)