Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. update Windows build host;
  2. proper command-line;
  3. Tidying up another of the nominal examples
Changeset 80145:0eff7d113549 by wenzelm:
update Windows build host;
The file was modified Admin/Windows/Cygwin/README (diff)
The file was modified Admin/polyml/INSTALL-MinGW (diff)
Changeset 80144:cfe18c31725c by wenzelm:
proper command-line;
The file was modified Admin/polyml/INSTALL-MinGW (diff)
Changeset 80143:378593bf5109 by paulson _lp15@cam.ac.uk_:
Tidying up another of the nominal examples
The file was modified src/HOL/Nominal/Examples/SN.thy (diff)