Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust;
  2. merged
  3. clarified document preparation vs. skip_proofs;
  4. "important" annotations
  5. canonical name
  6. tuned output in isar-ref manual;
  7. obsolete (used to be part of old src/Pure/codegen.ML);
Changeset 67159:deccbba7cfe3 by wenzelm:
more robust;
The file was modified src/HOL/ROOT (diff)
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)
Changeset 67156:3a9966b88a50 by nipkow:
"important" annotations
The file was modified src/HOL/Analysis/L2_Norm.thy (diff)
Changeset 67155:9e5b05d54f9d by nipkow:
canonical name
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy (diff)
The file was modified src/HOL/Analysis/L2_Norm.thy (diff)
The file was modified src/HOL/Analysis/Topology_Euclidean_Space.thy (diff)
Changeset 67154:c7def8f836d0 by wenzelm:
tuned output in isar-ref manual;
The file was modified lib/texinputs/isabellesym.sty (diff)
Changeset 67153:39117b6f0b2e by wenzelm:
obsolete (used to be part of old src/Pure/codegen.ML);
The file was modified lib/texinputs/isabellesym.sty (diff)