Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified document preparation vs. skip_proofs;
Changeset 67158:a14b83897c90 by wenzelm:
merged
Changeset 67157:d0657c8b7616 by wenzelm:
clarified document preparation vs. skip_proofs;
The file was modified NEWS (diff)
The file was modified src/Pure/Isar/proof.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)