Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. discontinued old-style goal cases;
  2. tuned;
  3. more robust: logic image might be absent in PIDE session;
  4. discontinued old-style inner comments;
  5. tuned;
  6. eliminated old-style inner comments;
  7. More standard precedences
  8. more standard syntax
  9. News
  10. use standard syntax
Changeset 69045:8c240fdeffcb by wenzelm:
discontinued old-style goal cases;
The file was modified NEWS (diff)
The file was modified src/Pure/Isar/proof.ML (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 69044:364c989edb49 by wenzelm:
tuned;
The file was modified NEWS (diff)
Changeset 69043:57a76e4728ed by wenzelm:
more robust: logic image might be absent in PIDE session;
The file was modified src/HOL/Mirabelle/ex/Ex.thy (diff)
Changeset 69042:6e9df530b441 by wenzelm:
discontinued old-style inner comments;
The file was modified NEWS (diff)
The file was modified src/Pure/Syntax/lexicon.ML (diff)
The file was modified src/Pure/Syntax/syntax_phases.ML (diff)
Changeset 69041:d57c460ba112 by wenzelm:
tuned;
The file was modified src/Doc/Isar_Ref/Outer_Syntax.thy (diff)
Changeset 69040:e0d14f648d46 by wenzelm:
eliminated old-style inner comments;
The file was modified src/HOL/Data_Structures/Tree234_Map.thy (diff)
Changeset 69039:51005671bee5 by nipkow:
More standard precedences
The file was modified src/HOL/Library/Complete_Partial_Order2.thy (diff)
Changeset 69038:2ce9bc515a64 by nipkow:
more standard syntax
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Library/Complete_Partial_Order2.thy (diff)
Changeset 69037:8d8fdbc02912 by nipkow:
News
The file was modified NEWS (diff)
Changeset 69036:3ab140184a14 by nipkow:
use standard syntax
The file was modified src/HOL/Data_Structures/Sorting.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)