Thu, 10 Dec 2015 16:31:00 +0100 | wenzelm | hardwired LANG, to avoid sporadic surprises with local environments; | file | diff | annotate |
Thu, 09 Oct 2014 13:56:27 +0200 | wenzelm | prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it); | file | diff | annotate |
Fri, 11 Jan 2013 13:23:51 +0100 | wenzelm | more standard contrib/cygwin location (again); | file | diff | annotate |
Thu, 10 Jan 2013 20:41:52 +0100 | wenzelm | outermost directory structure for Windows/Cygwin; | file | diff | annotate |
Thu, 05 Jul 2012 22:12:03 +0200 | wenzelm | more directory structure; | file | diff | annotate | base |