Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned documentation;
  2. tuned messages;
Changeset 71329:2217c731d228 by wenzelm:
tuned documentation;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71328:4642a81f5913 by wenzelm:
tuned messages;
The file was modified src/Pure/Tools/phabricator.scala (diff)