Diffusion Isabelle b3f072aa4690

updated for Isabelle2021 release;
b3f072aa4690
Actions

Tags

None

Subscribers

None

Description

updated for Isabelle2021 release;

Details

Provenance

Authored on

Parents

rISABELLEf175fd68b6a9: back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb3f072aa4690: updated for Isabelle2021 release;.Jul 25 2021, 4:38 PM

Changes (1)

Path

Size

Admin/

Windows/

Cygwin/

rISABELLEb3f072aa4690

Admin/Windows/Cygwin/README

Loading...