Skip to content
Aborted

Changes

Summary

  1. tuned NEWS;
  2. more rebust setup for Subversion -- assuming that diffusion.ssh-port is only set in phabricator/conf/local/local.json, not in the database;
  3. tuned;
  4. tuned documentation;
  5. more checks for release;
  6. more packages: required for svn;
  7. more robust setup: avoid blind shot at "the latest" version;
  8. more documentation;
  9. proper default;
  10. more robust: avoid accidental use of stdin;
  11. support for Phabricator upgrade;
  12. tuned signature;
Changeset 71293:8f3940150493 by wenzelm:
tuned NEWS;
The file was modified NEWS (diff)
Changeset 71292:8b745b4d71b5 by wenzelm:
more rebust setup for Subversion -- assuming that diffusion.ssh-port is only set in phabricator/conf/local/local.json, not in the database;
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71291:6a40d06698cb by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 71290:8d21cba3bad4 by wenzelm:
tuned documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71289:16e3662217e9 by wenzelm:
more checks for release;
The file was modified Admin/Release/CHECKLIST (diff)
Changeset 71288:26a40fc962e8 by wenzelm:
more packages: required for svn;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71287:71fd25a7bbe2 by wenzelm:
more robust setup: avoid blind shot at "the latest" version;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71286:058edb8f232c by wenzelm:
more documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71285:8cd05f7b3b4a by wenzelm:
proper default;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71284:49bc17bf4384 by wenzelm:
more robust: avoid accidental use of stdin;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71283:cfcc1a2233ca by wenzelm:
support for Phabricator upgrade;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71282:de59dd86760f by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/phabricator.scala (diff)