Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. more robust indentation: proper line context after insert;
  3. more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
  4. support nested cases;
  5. tuned;
  6. tuned;
  7. early definition of ML antiquotations;
  8. tuned;
Changeset 73619:0c8d6bec6491 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
Changeset 73618:4b413b78cd94 by wenzelm:
more robust indentation: proper line context after insert;
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 73617:20d0abffee99 by wenzelm:
more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
The file was modified src/Tools/jEdit/src/jedit_bibtex.scala (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)
Changeset 73616:b0ea03e837b1 by wenzelm:
support nested cases;
The file was modified NEWS (diff)
The file was modified src/Pure/Isar/proof_context.ML (diff)
Changeset 73615:e768759ce6c5 by wenzelm:
tuned;
The file was modified src/Pure/Isar/rule_cases.ML (diff)
Changeset 73614:14757eb3b249 by wenzelm:
tuned;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 73613:c1d8cd6d1a49 by wenzelm:
early definition of ML antiquotations;
The file was addedsrc/Pure/ML/ml_antiquotations1.ML
The file was addedsrc/Pure/ML/ml_antiquotations2.ML
The file was modified src/Pure/ROOT.ML (diff)
The file was removedsrc/Pure/ML/ml_antiquotations.ML
Changeset 73612:f28df88c0d00 by wenzelm:
tuned;
The file was modified src/Doc/Isar_Ref/Proof.thy (diff)