Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. command-line tool "isabelle export"; more documentation; tuned;
  3. more efficient query;
  4. more robust: self-export only;
  5. tuned signature;
Changeset 68117:7e349d1e3c95 by wenzelm:
merged
Changeset 68116:ac82ee617a75 by wenzelm:
command-line tool &quot;isabelle export&quot;;<br>more documentation;<br>tuned;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68115:23c6ae3dd3a0 by wenzelm:
more efficient query;
The file was modified src/Pure/Thy/export.scala (diff)
Changeset 68114:ce7f35406f37 by wenzelm:
more robust: self-export only;
The file was modified src/Pure/PIDE/command.scala (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
Changeset 68113:c925f53fd1f6 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export.ML (diff)