| Sun, 29 Nov 2009 12:56:30 +1100 | kleing | Expand nested abbreviations before applying dummy patterns. | changeset | files |
| Sun, 29 Nov 2009 17:44:44 +0100 | wenzelm | raised proof-shell-quit-timeout to accomodate bulky write-back images; | changeset | files |
| Sun, 29 Nov 2009 17:34:41 +0100 | wenzelm | deactivated default for E_HOME, SPASS_HOME -- now configured as components; | changeset | files |
| Sun, 29 Nov 2009 17:23:39 +0100 | wenzelm | double check file permissions of write-back image -- more robust for root or administrator on Cygwin; | changeset | files |
| Sun, 29 Nov 2009 17:14:24 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 29 Nov 2009 17:13:27 +0100 | wenzelm | added HOLCF image; | changeset | files |