Summary
- merged
- 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) |
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) |