Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. documentation for "isabelle dump";
  3. more dump aspects, with options; tuned signature;
  4. tuned signature;
  5. clarified default: all aspects;
  6. clarified priority;
Changeset 68349:30d6ffd0ca07 by wenzelm:
merged
Changeset 68348:2ac3a5c07dfa by wenzelm:
documentation for "isabelle dump";
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68347:9e6e7ab77434 by wenzelm:
more dump aspects, with options;<br>tuned signature;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68346:b44010800a19 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68345:5bc1e1ac7955 by wenzelm:
clarified default: all aspects;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68344:3bb44c25ce8b by wenzelm:
clarified priority;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)