Diffusion Isabelle 71d005ffa9fe

remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and…
71d005ffa9fe
Actions

Tags

None

Subscribers

None

Description

remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);

Details

Provenance

Authored on

Parents

rISABELLE98808cc7b0c1: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE71d005ffa9fe: remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and….Mar 27 2024, 3:38 PM

Changes (5)

Path

Size

Admin/

Windows/

Cygwin/

Cygwin-Terminal.bat

components/

components.sha1

src/

Pure/

Tools/

Setup/

src/

Environment.java

rISABELLE71d005ffa9fe

Admin/Windows/Cygwin/Cygwin-Terminal.bat

Loading...

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/ROOT.scala

Loading...

src/Tools/Setup/src/Environment.java

Loading...