Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. prefer "locale begin ... end";
  2. tuned signature;
  3. support Thy_Element in Scala, following ML version;
  4. tuned;
  5. tuned;
  6. tuned;
  7. clarified signature;
  8. tuned signature;
  9. clarified modules;
  10. tagged some theories
Changeset 68847:511d163ab623 by wenzelm:
prefer "locale begin ... end";
The file was modified src/ZF/AC/AC16_WO4.thy (diff)
The file was modified src/ZF/AC/DC.thy (diff)
Changeset 68846:da0cb00a4d6a by wenzelm:
tuned signature;
The file was modified src/Pure/Thy/thy_element.scala (diff)
Changeset 68845:3b2daa7bf9f4 by wenzelm:
support Thy_Element in Scala, following ML version;
The file was addedsrc/Pure/Thy/thy_element.scala
The file was modified src/Pure/Isar/document_structure.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 68844:63c9c6ceb7a3 by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_element.ML (diff)
Changeset 68843:d99d03d7755e by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_element.ML (diff)
Changeset 68842:72c4452f4b94 by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_element.ML (diff)
Changeset 68841:252b43600737 by wenzelm:
clarified signature;
The file was modified src/Pure/System/options.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
The file was modified src/Pure/Thy/thy_header.scala (diff)
Changeset 68840:51ab4c78235b by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/document_structure.scala (diff)
The file was modified src/Pure/PIDE/command_span.scala (diff)
Changeset 68839:d8251a61cce8 by wenzelm:
clarified modules;
The file was addedsrc/Pure/Thy/thy_element.ML
The file was modified src/Pure/Isar/toplevel.ML (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/thy_info.ML (diff)
The file was removedsrc/Pure/Thy/thy_syntax.ML
Changeset 68838:5e013478bced by immler:
tagged some theories
The file was modified src/HOL/Analysis/Bounded_Continuous_Function.thy (diff)
The file was modified src/HOL/Analysis/Bounded_Linear_Function.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Analysis/Lipschitz.thy (diff)
The file was modified src/HOL/Analysis/Uniform_Limit.thy (diff)