Diffusion Isabelle 60471f4bafd2

proper library names on Windows;
60471f4bafd2
Actions

Tags

None

Subscribers

None

Description

proper library names on Windows;

Details

Provenance

Authored on

Parents

rISABELLE0822ff79eed8: proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE60471f4bafd2: proper library names on Windows;.Oct 13 2020, 7:29 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_csdp.scala

build_polyml.scala

System/

executable.scala

rISABELLE60471f4bafd2

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/Admin/build_polyml.scala

Loading...

src/Pure/System/executable.scala

Loading...