| Tue, 23 Dec 2008 12:53:44 +0100 | wenzelm | target PWD; | changeset | files |
| Tue, 23 Dec 2008 11:04:07 +0100 | wenzelm | updated scala path; | changeset | files |
| Tue, 23 Dec 2008 00:56:03 +0100 | wenzelm | added platform_file; | changeset | files |
| Mon, 22 Dec 2008 19:57:49 +0100 | wenzelm | proper -X option; | changeset | files |
| Mon, 22 Dec 2008 16:57:11 +0100 | wenzelm | unregister: refrain from cancelling self, which sometimes caused sledghammer to fail just before printing the result; | changeset | files |
| Mon, 22 Dec 2008 14:40:27 +0100 | wenzelm | more sophisticated MacOS interface script (mostly for Carbon Emacs); | changeset | files |