Skip to content
Success

Changes

Summary

  1. tuned signature
  2. back to post-release mode -- after fork point;
  3. tuned;
  4. updated to new cronjob;
  5. build_release on lxbroy10 appears to work, including latex and remote_dmg;
  6. 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)