Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. tuned;
  2. clarified modules;
Changeset 74565:11b8f026d6ce by wenzelm:
tuned;
The file was modified src/Pure/Isar/parse.ML (diff)
Changeset 74564:0a66a61e740c by wenzelm:
clarified modules;
The file was modified src/HOL/Tools/Mirabelle/mirabelle.ML (diff)
The file was modified src/Pure/Isar/method.ML (diff)
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/Isar/token.ML (diff)
The file was modified src/Pure/ML/ml_antiquotations.ML (diff)
The file was modified src/Pure/ML/ml_context.ML (diff)
The file was modified src/Pure/Thy/document_antiquotation.ML (diff)
The file was modified src/Pure/Thy/document_marker.ML (diff)