Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. NEWS;
  3. updated platform situation: 32bit variants are marginal or absent;
  4. repackage as csdp-6.1-1, with proper platform names;
  5. proper File.platform_path for Windows;
  6. updated csdp-6.1: Linux and Windows executables are as before, but macOS has been rebuilt for x86_64 (to accommodate Catalina); NOTE: current version 6.2.0 caused odd problems with parallel invocations (e.g. on Ubuntu 18.04);
  7. updated linux_app-20191223: x86_64-linux; clarified location of lib/scripts/Isabelle.run;
Changeset 71344:ee9998bb417b by wenzelm:
tuned;
The file was modified lib/scripts/getsettings (diff)
Changeset 71343:7a53175fb0f4 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 71342:d72d4a9316c9 by wenzelm:
updated platform situation: 32bit variants are marginal or absent;
The file was modified lib/scripts/getsettings (diff)
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 71341:dfc52eb97ff4 by wenzelm:
repackage as csdp-6.1-1, with proper platform names;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 71340:6d9dd5309b85 by wenzelm:
proper File.platform_path for Windows;
The file was modified src/HOL/Library/Sum_of_Squares/sos_wrapper.ML (diff)
Changeset 71339:05400628c56b by wenzelm:
updated csdp-6.1: Linux and Windows executables are as before, but macOS has been rebuilt for x86_64 (to accommodate Catalina);<br>NOTE: current version 6.2.0 caused odd problems with parallel invocations (e.g. on Ubuntu 18.04);
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 71338:373dcdd363dc by wenzelm:
updated linux_app-20191223: x86_64-linux;<br>clarified location of lib/scripts/Isabelle.run;
The file was modified Admin/Linux/Isabelle.c (diff)
The file was modified Admin/Linux/Isabelle.run (diff)
The file was modified Admin/Linux/build (diff)
The file was modified Admin/components/bundled-linux (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)