Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more markup (for batch build);
  2. tuned;
  3. tuned;
  4. tuned;
  5. more NEWS;
  6. updated some links;
  7. more links, for files that formally belong to this session;
  8. more links;
  9. tuned antiquotations;
Changeset 76015:28445a0bd869 by wenzelm:
more markup (for batch build);
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 76014:63b22e3b8018 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 76013:9ac09016d036 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76012:ec0424a8535e by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76011:f56d239da777 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 76010:da54ac51266a by wenzelm:
updated some links;
The file was modified src/Doc/System/Phabricator.thy (diff)
Changeset 76009:adf9c4d68581 by wenzelm:
more links, for files that formally belong to this session;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 76008:8897dfc2e7b0 by wenzelm:
more links;
The file was modified src/Pure/Thy/browser_info.scala (diff)
Changeset 76007:08288b406005 by wenzelm:
tuned antiquotations;
The file was modified src/HOL/Examples/Rewrite_Examples.thy (diff)