Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. NEWS;
  2. x86-cygwin for tools is no longer supported;
  3. updated to x86_64-cygwin;
  4. updated to x86_64-cygwin;
  5. auto update;
  6. "windows" application is always x86_64;
Changeset 66729:1da2ef1fd8c1 by wenzelm:
NEWS;
The file was modified NEWS (diff)
Changeset 66728:ae332cd13955 by wenzelm:
x86-cygwin for tools is no longer supported;
The file was modified Admin/PLATFORMS (diff)
Changeset 66727:56b92ce30d87 by wenzelm:
updated to x86_64-cygwin;
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
Changeset 66726:5223317b8c56 by wenzelm:
updated to x86_64-cygwin;
The file was modified Admin/components/bundled-windows (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/lib/Tools/makedist_bundle (diff)
Changeset 66725:c37c4f0db878 by wenzelm:
auto update;
The file was modified Admin/components/components.sha1 (diff)
Changeset 66724:1e1f9f603385 by wenzelm:
"windows" application is always x86_64;
The file was modified Admin/Windows/launch4j/isabelle.xml (diff)
The file was modified Admin/lib/Tools/makedist_bundle (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)