Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- update Windows test machines;
The file was modified | Admin/Release/CHECKLIST |
The file was modified | Admin/components/README.md |
The file was modified | Admin/Release/CHECKLIST |
The file was modified | Admin/components/README.md |