Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned index.html;
  2. more robust;
  3. more robust;
  4. clarified website: redirect to isabelle-dev Phabricator Overview;
  5. more documentation;
  6. tuned;
  7. support database dump;
Changeset 71275:18f4061fd817 by wenzelm:
tuned index.html;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 71274:5212ca49598a by wenzelm:
more robust;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71273:6b8cbdc9713b by wenzelm:
more robust;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71272:1e7319957408 by wenzelm:
clarified website: redirect to isabelle-dev Phabricator Overview;
The file was modified src/Pure/Admin/isabelle_devel.scala (diff)
Changeset 71271:58aa62b8c6d3 by wenzelm:
more documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71270:3184dbad4d7d by wenzelm:
tuned;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71269:7df5c110a43c by wenzelm:
support database dump;
The file was modified src/Pure/Tools/phabricator.scala (diff)