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)