Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. misc tuning and modernization;
  3. tuned whitespace;
  4. Sidekick parser for isabelle-ml and sml mode;
  5. prefer hardwired "nothing";
  6. NEWS;
  7. clarified handling of plain theory commands;
  8. support for context block structure in Sidekick; tuned;
  9. tuned;
  10. clarified modules;
  11. clarified modules;
Changeset 63613:1555dc12cfb6 by wenzelm:
merged
Changeset 63612:7195acc2fe93 by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Complete_Partial_Order.thy (diff)
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 63611:fb63942e470e by wenzelm:
tuned whitespace;
The file was modified src/Pure/term.ML (diff)
The file was modified src/Pure/thm.ML (diff)
Changeset 63610:4b40b8196dc7 by wenzelm:
Sidekick parser for isabelle-ml and sml mode;
The file was modified NEWS (diff)
The file was modified src/Doc/Implementation/ML.thy (diff)
The file was modified src/Pure/Isar/document_structure.scala (diff)
The file was modified src/Pure/ML/ml_lex.scala (diff)
The file was modified src/Tools/jEdit/src/Isabelle.props (diff)
The file was modified src/Tools/jEdit/src/isabelle_sidekick.scala (diff)
The file was modified src/Tools/jEdit/src/services.xml (diff)
Changeset 63609:be0a4a0bf7f5 by wenzelm:
prefer hardwired "nothing";
The file was modified src/Pure/Isar/proof_context.ML (diff)
The file was modified src/Pure/pure_thy.ML (diff)
Changeset 63608:d83cb0902e4f by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 63607:7246254d558f by wenzelm:
clarified handling of plain theory commands;
The file was modified src/Pure/Isar/document_structure.scala (diff)
Changeset 63606:fc3a23763617 by wenzelm:
support for context block structure in Sidekick;<br>tuned;
The file was modified src/Pure/Isar/document_structure.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_sidekick.scala (diff)
The file was modified src/Tools/jEdit/src/services.xml (diff)
Changeset 63605:c7916060f55e by wenzelm:
tuned;
The file was modified src/Pure/Isar/document_structure.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_sidekick.scala (diff)
Changeset 63604:d8de4f8b95eb by wenzelm:
clarified modules;
The file was addedsrc/Pure/Isar/document_structure.scala
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/src/isabelle_sidekick.scala (diff)
Changeset 63603:9d9ea2c6bc38 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Isar/line_structure.scala
The file was modified src/Pure/Isar/keyword.scala (diff)
The file was modified src/Pure/Isar/outer_syntax.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was modified src/Tools/jEdit/src/token_markup.scala (diff)