Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more documentation;
  3. explicit tag for document commands: avoid implicit use of document_tags;
  4. system option for default command tags;
  5. tuned;
  6. tuned signature;
  7. Moved material from AFP to Analysis/Number_Theory
Changeset 67141:94fca35f80ab by wenzelm:
merged
Changeset 67140:386a31d6d17a by wenzelm:
more documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
Changeset 67139:8fe0aba577af by wenzelm:
explicit tag for document commands: avoid implicit use of document_tags;
The file was modified lib/texinputs/isabelle.sty (diff)
The file was modified src/Doc/Isar_Ref/Document_Preparation.thy (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Isar/keyword.ML (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
Changeset 67138:82283d52b4d6 by wenzelm:
system option for default command tags;
The file was modified etc/options (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Thy/thy_output.ML (diff)
Changeset 67137:f2384ad1dff4 by wenzelm:
tuned;
The file was modified etc/options (diff)
Changeset 67136:1368cfa92b7a by wenzelm:
tuned signature;
The file was modified src/Pure/Isar/outer_syntax.ML (diff)
The file was modified src/Pure/Isar/parse.ML (diff)
The file was modified src/Pure/Thy/thy_header.ML (diff)
Changeset 67135:1a94352812f4 by manuel eberl _eberlm@in.tum.de_:
Moved material from AFP to Analysis/Number_Theory
The file was modified src/HOL/Analysis/Complex_Analysis_Basics.thy (diff)
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Winding_Numbers.thy (diff)
The file was modified src/HOL/Library/Nonpos_Ints.thy (diff)
The file was modified src/HOL/Number_Theory/Prime_Powers.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)