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); | changeset | files |
Thu, 09 Oct 2014 11:15:03 +0200 | wenzelm | prefer Unix standard-conformant $TMPDIR over hard-wired /tmp; | changeset | files |
Thu, 09 Oct 2014 11:00:15 +0200 | wenzelm | proper @{cite} with bibtex entry (unchecked comment); | changeset | files |