| Thu, 12 Oct 2006 15:50:16 +0200 | paulson | abstraction is now turned OFF... | changeset | files |
| Thu, 12 Oct 2006 15:48:13 +0200 | paulson | Logging of theorem names to the /tmp directory now works | changeset | files |
| Thu, 12 Oct 2006 15:00:07 +0200 | wenzelm | cc: avoid space after options; | changeset | files |
| Thu, 12 Oct 2006 14:26:16 +0200 | wenzelm | set DYLD_LIBRARY_PATH (for Darwin); | changeset | files |
| Thu, 12 Oct 2006 14:14:11 +0200 | wenzelm | added execute/system; | changeset | files |
| Thu, 12 Oct 2006 14:07:48 +0200 | wenzelm | added x86-darwin; | changeset | files |
| Thu, 12 Oct 2006 08:25:04 +0200 | haftmann | now allowing subdirectories in Doc/ | changeset | files |