Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. NEWS;
  2. more examples;
  3. more documentation;
  4. misc tuning and clarification;
Changeset 71134:81536e5d8ea7 by wenzelm:
NEWS;
The file was modified NEWS
Changeset 71133:962eda254ac4 by wenzelm:
more examples;
The file was modified src/Doc/System/Phabricator.thy
Changeset 71132:e5984c853f77 by wenzelm:
more documentation;
The file was modified src/Doc/System/Phabricator.thy
Changeset 71131:1579a9160c7f by wenzelm:
misc tuning and clarification;
The file was modified src/Doc/System/Phabricator.thy
The file was modified src/Pure/Tools/phabricator.scala