Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed obsolete material -- already covered by "system" manual; tuned;
  2. tuned;
  3. merged
  4. more documentation; tuned;
  5. tuned;
  6. more options;
  7. clarified Console_Progress.echo: include empty lines as in other Progress instances, especially relevant for Progress.bash (e.g. "isabelle phabricator ./bin/config help");
  8. documentation on Phabricator server administration;
  9. tuned message;
  10. added "isabelle phabricator";
  11. New library material from the AFP entry ZFC_in_HOL
Changeset 71106:c6ad69448d6d by wenzelm:
removed obsolete material -- already covered by &quot;system&quot; manual;<br>tuned;
The file was modified Admin/Phabricator/README (diff)
Changeset 71105:1159e52e5b05 by wenzelm:
tuned;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 71104:f9b1c6522155 by wenzelm:
merged
Changeset 71103:c073c4e79518 by wenzelm:
more documentation;<br>tuned;
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71102:3d228a3a88e0 by wenzelm:
tuned;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71101:67c2fed5b0e9 by wenzelm:
more options;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71100:f31903cc57b0 by wenzelm:
clarified Console_Progress.echo: include empty lines as in other Progress instances, especially relevant for Progress.bash (e.g. &quot;isabelle phabricator ./bin/config help&quot;);
The file was modified src/Pure/General/output.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
Changeset 71099:20c1b9516d27 by wenzelm:
documentation on Phabricator server administration;
The file was addedsrc/Doc/System/Phabricator.thy
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/System/document/root.tex (diff)
Changeset 71098:da378866f580 by wenzelm:
tuned message;
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71097:d3ededaa77b3 by wenzelm:
added &quot;isabelle phabricator&quot;;
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)
Changeset 71096:ec7cc76e88e5 by paulson _lp15@cam.ac.uk_:
New library material from the AFP entry ZFC_in_HOL
The file was modified src/HOL/Conditionally_Complete_Lattices.thy (diff)
The file was modified src/HOL/Library/Equipollence.thy (diff)