Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge
  2. code to catch exception TERM in blast
  3. merged
  4. avoid duplicate Attrib.local_notes in aux. context;
  5. proper restore;
  6. tuned;
  7. tuned;
  8. tuned;
  9. prefer hybrid 'bundle' command;
  10. documentation;
  11. clarified;
  12. support for bundle definition via target;
  13. tuned signature;
  14. tuned;
  15. tuned signature;
  16. tuned;
Changeset 63281:06b021ff8920 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 63280:d2d26ff708d7 by paulson _lp15@cam.ac.uk_:
code to catch exception TERM in blast
The file was modified src/Provers/blast.ML (diff)
Changeset 63279:243fdbbbd4ef by wenzelm:
merged
Changeset 63278:6c963f1fc388 by wenzelm:
avoid duplicate Attrib.local_notes in aux. context;
The file was modified src/Pure/Isar/bundle.ML (diff)
Changeset 63277:e6d51d9801e4 by wenzelm:
proper restore;
The file was modified src/Pure/Isar/bundle.ML (diff)
Changeset 63276:96bcd90415cb by wenzelm:
tuned;
The file was modified src/HOL/Library/FinFun.thy (diff)
Changeset 63275:ce63815d48dd by wenzelm:
tuned;
The file was modified src/Pure/Isar/bundle.ML (diff)
Changeset 63274:4f3402f35be7 by wenzelm:
tuned;
The file was modified src/Pure/Isar/outer_syntax.ML (diff)
Changeset 63273:302daf918966 by wenzelm:
prefer hybrid 'bundle' command;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
The file was modified src/Pure/Isar/outer_syntax.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 63272:6d8a67a77bad by wenzelm:
documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/Isar_Ref/Spec.thy (diff)
Changeset 63271:ecaa677d20bc by wenzelm:
clarified;
The file was modified src/Pure/Pure.thy (diff)
Changeset 63270:7dd3ee7ee422 by wenzelm:
support for bundle definition via target;
The file was modified src/Pure/Isar/bundle.ML (diff)
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
Changeset 63269:27d51aa2d711 by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/generic_target.ML (diff)
Changeset 63268:df955dd2dc09 by wenzelm:
tuned;
The file was modified src/Pure/Isar/class_declaration.ML (diff)
The file was modified src/Pure/Isar/named_target.ML (diff)
Changeset 63267:ac1a0b81453e by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/bundle.ML (diff)
The file was modified src/Pure/Isar/generic_target.ML (diff)
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/locale.ML (diff)
The file was modified src/Pure/Isar/specification.ML (diff)
Changeset 63266:3837a9ace1c7 by wenzelm:
tuned;
The file was modified src/Pure/Isar/attrib.ML (diff)
The file was modified src/Pure/Isar/locale.ML (diff)