Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. proper jvm_platform, notably for org.sqlite.lib.path;
  2. tuned message;
  3. support for platform family "linux_arm";
  4. clarified purge;
  5. removed junk;
  6. support local build_heaps; more robust build_release;
Changeset 73639:e1432539df35 by wenzelm:
proper jvm_platform, notably for org.sqlite.lib.path;
The file was modified src/Pure/System/platform.scala
Changeset 73638:a6a9162f3ec1 by wenzelm:
tuned message;
The file was modified src/Pure/System/platform.scala
Changeset 73637:f3a356c64193 by wenzelm:
support for platform family "linux_arm";
The file was addedAdmin/components/bundled-linux_arm
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/components.scala
The file was modified src/Pure/System/platform.scala
Changeset 73636:6945ac084763 by wenzelm:
clarified purge;
The file was modified src/Pure/Admin/components.scala
Changeset 73635:3531d20cf2fd by wenzelm:
removed junk;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 73634:c88faa1e09e1 by wenzelm:
support local build_heaps;<br>more robust build_release;
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/General/ssh.scala

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. no hardwired document; proper condition;
Changeset 11769:718639187389 by wenzelm:
no hardwired document;<br>proper condition;
The file was modified thys/BTree/ROOT