Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

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

Changeset 80033:71d005ffa9fe by wenzelm: remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);
The file was modified	`Admin/Windows/Cygwin/Cygwin-Terminal.bat`
The file was modified	`Admin/components/components.sha1`
The file was modified	`Admin/components/main`
The file was modified	`src/Pure/ROOT.scala`
The file was modified	`src/Tools/Setup/src/Environment.java`