Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
isabelle-repo
#598
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
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
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)