Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
  3. tuned signature;
Changeset 70635:39c90514faf8 by wenzelm:
merged
Changeset 70634:0f8742b5a9e8 by wenzelm:
more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML;
The file was modified etc/options (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/ZF/ROOT (diff)
Changeset 70633:b99b925dbd84 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)