Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more documentation;
  2. more documentation;
  3. proper support for multiple installations;
  4. clarified "isabelle phabricator -l": avoid surprise with non-existent default installation;
Changeset 71279:2e873da296ae by wenzelm:
more documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71278:197aa6b57a83 by wenzelm:
more documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71277:74cabc06cf2d by wenzelm:
proper support for multiple installations;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71276:b4401dfd6544 by wenzelm:
clarified "isabelle phabricator -l": avoid surprise with non-existent default installation;
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)