Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified directory layout: templates for user sessions;
  3. tuned proofs;
  4. tuned;
  5. tuned;
  6. tuned;
  7. clarified signature;
  8. proper pattern (amending 40a365360680);
  9. more timing;
  10. tuned;
  11. tuned comments;
  12. tuned;
  13. prefer abstract command kind (in contrast to 367f4512e65c);
  14. tuned;
  15. tuned: avoid warning in IntelliJ IDEA;
  16. more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;
  17. tuned signature;
  18. clarified signature: do not require finished theory;
  19. clarified modules;
Changeset 76421:e800cc580c80 by wenzelm:
merged
Changeset 76420:809cd1195795 by wenzelm:
clarified directory layout: templates for user sessions;
The file was addedsrc/Doc/Demo_Easychair/ROOT
The file was addedsrc/Doc/Demo_FoilTeX/ROOT
The file was addedsrc/Doc/Demo_LIPIcs/ROOT
The file was addedsrc/Doc/ROOTS
The file was modified src/Doc/ROOT (diff)
Changeset 76419:f20865ad6319 by wenzelm:
tuned proofs;
The file was modified src/ZF/WF.thy (diff)
Changeset 76418:2b0ff7c52aa4 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 76417:e937d14b58e2 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76416:22746dfa75a1 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/command.ML (diff)
Changeset 76415:f362975e8ba1 by wenzelm:
clarified signature;
The file was modified src/Pure/Isar/isar_cmd.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/Thy/document_output.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 76414:cda63f26d0cb by wenzelm:
proper pattern (amending 40a365360680);
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76413:e4f164d864dc by wenzelm:
more timing;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76412:3f16fc68f0f0 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76411:cc3911b11b53 by wenzelm:
tuned comments;
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 76410:687fb18e805c by wenzelm:
tuned;
The file was modified src/Pure/Thy/document_output.ML (diff)
Changeset 76409:87c163ad642e by wenzelm:
prefer abstract command kind (in contrast to 367f4512e65c);
The file was modified src/Pure/Thy/document_output.ML (diff)
Changeset 76408:2768a6d71570 by wenzelm:
tuned;
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 76407:7e1a72af970b by wenzelm:
tuned: avoid warning in IntelliJ IDEA;
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 76406:40a365360680 by wenzelm:
more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL;
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/PIDE/session.ML (diff)
Changeset 76405:aaf307f865c9 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/document.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 76404:4de3d831ff4d by wenzelm:
clarified signature: do not require finished theory;
The file was modified src/Pure/Thy/document_output.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
Changeset 76403:fb9c567a67cd by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/query_operation.ML (diff)
The file was modified src/Pure/Tools/print_operation.ML (diff)