Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#188
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
tuned signature
back to post-release mode -- after fork point;
tuned;
updated to new cronjob;
build_release on lxbroy10 appears to work, including latex and remote_dmg;
misc tuning and modernization;
Changeset
64440:0d31d1735104
by
traytel
:
tuned signature
The file was modified
src/HOL/Tools/BNF/bnf_def.ML
(diff)
Changeset
64439:2bafda87b524
by
wenzelm
:
back to post-release mode -- after fork point;
The file was modified
CONTRIBUTORS
(diff)
The file was modified
NEWS
(diff)
Changeset
64438:f91cae6c1d74
by
wenzelm
:
tuned;
The file was modified
src/HOL/Nonstandard_Analysis/HyperDef.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/HyperNat.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/NSA.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/StarDef.thy
(diff)
Changeset
64437:dba2ca0e0a53
by
wenzelm
:
updated to new cronjob;
The file was modified
Admin/Release/CHECKLIST
(diff)
Changeset
64436:254c9411fc48
by
wenzelm
:
build_release on lxbroy10 appears to work, including latex and remote_dmg;
The file was modified
Admin/Release/CHECKLIST
(diff)
Changeset
64435:c93b0e6131c3
by
wenzelm
:
misc tuning and modernization;
The file was modified
src/HOL/Nonstandard_Analysis/Free_Ultrafilter.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/HDeriv.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/HLim.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/HyperDef.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/HyperNat.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/NSA.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/NSComplex.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/NatStar.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/Star.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/StarDef.thy
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/document/root.tex
(diff)
The file was modified
src/HOL/Nonstandard_Analysis/transfer.ML
(diff)