Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more Haskell tests on macOS;
  2. more NEWS;
  3. disable naproche component for now: to be updated before the next Isabelle release;
  4. updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell"); enforce rebuild of Isabelle/Pure and thus all Haskell applications;
Changeset 78783:b78158997a28 by wenzelm:
more Haskell tests on macOS;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78782:c44171d372a1 by wenzelm:
more NEWS;
The file was modified NEWS (diff)
Changeset 78781:847739805b8d by wenzelm:
disable naproche component for now: to be updated before the next Isabelle release;
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified Admin/components/bundled (diff)
Changeset 78780:a611bbfeb9cd by wenzelm:
updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session &quot;Haskell&quot;);<br>enforce rebuild of Isabelle/Pure and thus all Haskell applications;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified etc/settings (diff)
The file was modified src/Pure/Admin/component_stack.scala (diff)
The file was modified src/Pure/ROOT.ML (diff)