Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated for Isabelle2021 release;
  2. back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
  3. update to Haskell stack-2.7.3 and stackage lts-17.15;
  4. clarified version: Apple now counts like 11, 12, ...;
Changeset 74066:b3f072aa4690 by wenzelm:
updated for Isabelle2021 release;
The file was modified Admin/Windows/Cygwin/README (diff)
Changeset 74065:f175fd68b6a9 by wenzelm:
back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
The file was modified etc/settings (diff)
Changeset 74064:d871882ad651 by wenzelm:
update to Haskell stack-2.7.3 and stackage lts-17.15;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/haskell/stack/README (diff)
The file was modified etc/settings (diff)
Changeset 74063:ff466b272267 by wenzelm:
clarified version: Apple now counts like 11, 12, ...;
The file was modified Admin/components/PLATFORMS (diff)