Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. support for output messages;
  2. tuned;
  3. tuned -- avoid deprecated constructors;
  4. tuned signature;
  5. avoid vacuous session Pure -- dump does not read_pure_theory;
Changeset 71165:03afc8252225 by wenzelm:
support for output messages;
The file was modified src/Pure/Isar/document_structure.scala (diff)
The file was modified src/Pure/PIDE/protocol.scala (diff)
Changeset 71164:a21a29de5f57 by wenzelm:
tuned;
The file was modified src/Pure/General/output.scala (diff)
The file was modified src/Pure/Thy/latex.scala (diff)
The file was modified src/Pure/library.scala (diff)
Changeset 71163:b5822f4c3fde by wenzelm:
tuned -- avoid deprecated constructors;
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/General/time.scala (diff)
The file was modified src/Pure/General/url.scala (diff)
The file was modified src/Pure/Tools/fontforge.scala (diff)
The file was modified src/Tools/jEdit/src/fold_handling.scala (diff)
Changeset 71162:4b3e1b859a22 by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/keymap_merge.scala (diff)
Changeset 71161:ffccc1f346ae by wenzelm:
avoid vacuous session Pure -- dump does not read_pure_theory;
The file was modified src/Pure/Tools/dump.scala (diff)