Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. clarified signature: error_code may contain low-level message instead of proper "ERR-" code;
  3. clarified signature; more operations;
  4. tuned signature;
  5. support for conduit API;
  6. tuned whitespace;
  7. more robust: support /usr/local/bin/hg;
  8. tuned documentation;
  9. eliminated pointless option -T: it merely tests ssh config of root, which is not required later;
  10. slicker proofs (used in CPP paper)
Changeset 71303:48e72c72b4d8 by wenzelm:
tuned;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71302:0e3a3e3cf482 by wenzelm:
clarified signature: error_code may contain low-level message instead of proper "ERR-" code;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71301:3fdd0b93fa4b by wenzelm:
clarified signature;<br>more operations;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71300:ca794da3bb1d by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71299:51c19a44cfed by wenzelm:
support for conduit API;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71298:93b097726667 by wenzelm:
tuned whitespace;
The file was modified src/Pure/General/json.scala (diff)
Changeset 71297:9f2085c499a2 by wenzelm:
more robust: support /usr/local/bin/hg;
The file was modified Admin/cronjob/crontab.server (diff)
Changeset 71296:71ea54e851ad by wenzelm:
tuned documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71295:6aadbd650280 by wenzelm:
eliminated pointless option -T: it merely tests ssh config of root, which is not required later;
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71294:aba1f84a7160 by nipkow:
slicker proofs (used in CPP paper)
The file was modified src/HOL/Data_Structures/Braun_Tree.thy (diff)