Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. back to gz for macos: more robust;
  3. proper arguments for library build;
  4. tuned;
  5. clarified smlnj installations;
  6. Added tag Isabelle2019-RC1 for changeset 9c60fcfdf495
  7. updated to jdk-11.0.3+7;
  8. update to lts-12.26 (stable branch);
  9. more NEWS
  10. merged
  11. tweaked a definition
Changeset 70245:8feae28e5c44 by wenzelm:
merged
Changeset 70244:2ca87b481077 by wenzelm:
back to gz for macos: more robust;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70243:b134cf366c2c by wenzelm:
proper arguments for library build;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70242:7ddb59e72107 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 70241:4e612a13c1ee by wenzelm:
clarified smlnj installations;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 70240:c73c8fd4b64c by wenzelm:
Added tag Isabelle2019-RC1 for changeset 9c60fcfdf495
The file was modified .hgtags (diff)
Changeset 70239:9c60fcfdf495 by wenzelm:
updated to jdk-11.0.3+7;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 70238:f18ece5865da by wenzelm:
update to lts-12.26 (stable branch);
The file was modified etc/settings (diff)
Changeset 70237:7e9269c188d6 by haftmann:
more NEWS
The file was modified NEWS (diff)
Changeset 70236:498ae040d47b by paulson:
merged
Changeset 70235:b0680d8b0608 by paulson _lp15@cam.ac.uk_:
tweaked a definition
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)