Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. discontinue export_document --- always enabled (reverting f0f83ce0badd);
  2. unused (see also 7b318273a4aa);
  3. tuned proofs;
Changeset 72235:a5bf0b69c22a by wenzelm:
discontinue export_document --- always enabled (reverting f0f83ce0badd);
The file was modified etc/options (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 72234:4d615ec4b6b1 by wenzelm:
unused (see also 7b318273a4aa);
The file was modified src/Pure/PIDE/protocol.scala (diff)
Changeset 72233:c17d0227205c by wenzelm:
tuned proofs;
The file was modified src/HOL/Hoare_Parallel/Graph.thy (diff)
The file was modified src/HOL/MicroJava/Comp/CorrCompTp.thy (diff)