Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. merged
  3. de-applying
  4. clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
  5. detect/guess arm32 platform (unsupported);
  6. build component according to "isabelle build_e -V 2.5" (inactive);
  7. updated component according to "isabelle build_e -V 2.0"; support arm64-linux;
  8. proper usage;
  9. clarified;
Changeset 72374:4c8295f2f849 by paulson:
merged
Changeset 72373:d43764357419 by paulson:
merged
Changeset 72372:1a333166b6b8 by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/Analysis/Homotopy.thy (diff)
Changeset 72371:3e84f4e9651a by wenzelm:
clarified arm64-linux base line: prefer Pi OS, which is based on slightly older Debian;
The file was modified Admin/PLATFORMS (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72370:e25c0a6cc335 by wenzelm:
detect/guess arm32 platform (unsupported);
The file was modified lib/scripts/isabelle-platform (diff)
The file was modified src/Pure/System/platform.scala (diff)
Changeset 72369:694d0a315d0a by wenzelm:
build component according to "isabelle build_e -V 2.5" (inactive);
The file was modified Admin/components/components.sha1 (diff)
Changeset 72368:b86d1e754e78 by wenzelm:
updated component according to &quot;isabelle build_e -V 2.0&quot;;<br>support arm64-linux;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 72367:d3069e7e1175 by wenzelm:
proper usage;
The file was modified src/Pure/Admin/build_e.scala (diff)
Changeset 72366:ed99d0f9b536 by wenzelm:
clarified;
The file was modified Admin/PLATFORMS (diff)