Diffusion Isabelle 9ed9585c495b

proper support for Windows/Cygwin;
9ed9585c495b
Actions

Tags

None

Subscribers

None

Description

proper support for Windows/Cygwin;

Details

Provenance

Authored on

Parents

rISABELLEb8cc129ece05: build Isabelle SPASS component from unofficial download;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9ed9585c495b: proper support for Windows/Cygwin;.Oct 9 2020, 1:29 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_spass.scala

rISABELLE9ed9585c495b

src/Pure/Admin/build_spass.scala

Loading...