Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more uniform platform settings;
Changeset 65073:b5bf76cf2b4e by wenzelm:
more uniform platform settings;
The file was modified Admin/PLATFORMS (diff)
The file was modified NEWS (diff)
The file was modified lib/scripts/isabelle-platform (diff)