Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. updated Sledgehammer docs
  2. added veriT component
  3. more and updated documentation;
  4. more and updated documentation;
  5. discontinued rudiments of BSD support; tuned comments;
  6. tuned;
  7. NEWS;
  8. x86-cygwin for tools is no longer supported;
  9. updated to x86_64-cygwin;
  10. updated to x86_64-cygwin;
  11. auto update;
  12. "windows" application is always x86_64;
Changeset 66735:5887ae5b95a8 by blanchet:
updated Sledgehammer docs
The file was modified src/Doc/Sledgehammer/document/root.tex (diff)
Changeset 66734:ea5bd1347d26 by blanchet:
added veriT component
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 66733:9180953b976b by wenzelm:
more and updated documentation;
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 66732:e566fb4d43d4 by wenzelm:
more and updated documentation;
The file was modified Admin/PLATFORMS (diff)
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 66731:fe2a6ec20b4d by wenzelm:
discontinued rudiments of BSD support;<br>tuned comments;
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 66730:e76850a09a12 by wenzelm:
tuned;
The file was modified src/Pure/Admin/build_release.scala (diff)
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:
&quot;windows&quot; 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)