| Tue, 31 Mar 2009 13:34:48 +0200 | wenzelm | tuned error message; | changeset | files |
| Tue, 31 Mar 2009 13:23:39 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 31 Mar 2009 12:07:17 +0200 | wenzelm | suggest HOL_USEDIR_OPTIONS="-p 2 -Q false", which is more likely to work within the limits of 32 bit address space; | changeset | files |