Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. basic support for x86_64-cygwin;
  2. Tiny presentational improvements to homeomorphic_punctured_sphere_affine_gen
  3. back to post-release mode; updated package;
Changeset 66691:a8703e8ee1d3 by wenzelm:
basic support for x86_64-cygwin;
The file was modified Admin/PLATFORMS (diff)
The file was modified Admin/bash_process/build (diff)
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/settings (diff)
The file was modified lib/scripts/isabelle-platform (diff)
Changeset 66690:6953b1a29e19 by paulson _lp15@cam.ac.uk_:
Tiny presentational improvements to homeomorphic_punctured_sphere_affine_gen
The file was modified src/HOL/Analysis/Homeomorphism.thy (diff)
Changeset 66689:ef81649ad051 by wenzelm:
back to post-release mode;<br>updated package;
The file was modified src/Tools/VSCode/extension/README.md (diff)
The file was modified src/Tools/VSCode/extension/package.json (diff)