Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. NEWS;
  3. clarified positions, e.g. for reports on literal facts;
  4. tuned whitespace;
  5. tuned;
  6. tuned;
Changeset 63384:bf894d31ed0f by wenzelm:
merged
Changeset 63383:8bbd325e89e6 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 63382:4270da306442 by wenzelm:
clarified positions, e.g. for reports on literal facts;
The file was modified src/Pure/Isar/interpretation.ML (diff)
Changeset 63381:823660593928 by wenzelm:
tuned whitespace;
The file was modified src/Pure/Isar/interpretation.ML (diff)
Changeset 63380:efdb70ad35f9 by wenzelm:
tuned;
The file was modified src/Pure/Isar/interpretation.ML (diff)
Changeset 63379:edd53ec6f2aa by wenzelm:
tuned;
The file was modified src/Pure/Isar/interpretation.ML (diff)