Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. varify frees, notably dangling_params (see also e0cd57aeb60c);
  2. tuned -- more explicit expression;
  3. merged
  4. documentation for "isabelle dump";
  5. more dump aspects, with options; tuned signature;
  6. tuned signature;
  7. clarified default: all aspects;
  8. clarified priority;
  9. merged
  10. added lemma
  11. Fixed latex markup
  12. merged
  13. more tidying
Changeset 68351:bcdc4c21ab1d by wenzelm:
varify frees, notably dangling_params (see also e0cd57aeb60c);
The file was modified src/Pure/Isar/class.ML (diff)
Changeset 68350:7fafc8a01915 by wenzelm:
tuned -- more explicit expression;
The file was modified src/Pure/Isar/class.ML (diff)
Changeset 68349:30d6ffd0ca07 by wenzelm:
merged
Changeset 68348:2ac3a5c07dfa by wenzelm:
documentation for "isabelle dump";
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68347:9e6e7ab77434 by wenzelm:
more dump aspects, with options;<br>tuned signature;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68346:b44010800a19 by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/export_theory.scala (diff)
Changeset 68345:5bc1e1ac7955 by wenzelm:
clarified default: all aspects;
The file was modified src/Pure/Tools/dump.scala (diff)
Changeset 68344:3bb44c25ce8b by wenzelm:
clarified priority;
The file was modified src/Pure/PIDE/command.ML (diff)
The file was modified src/Pure/PIDE/document.ML (diff)
Changeset 68343:2941e58318c7 by nipkow:
merged
Changeset 68342:b80734daf7ed by nipkow:
added lemma
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)
Changeset 68341:b58e7131de0d by paulson _lp15@cam.ac.uk_:
Fixed latex markup
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
Changeset 68340:ed0062efb91c by paulson:
merged
Changeset 68339:5958e8342cfd by paulson _lp15@cam.ac.uk_:
more tidying
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)