Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
All
isabelle-nightly-benchmark
#492
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merged
more documentation;
explicit tag for document commands: avoid implicit use of document_tags;
system option for default command tags;
tuned;
tuned signature;
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)