| 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 |
| Tue, 31 Mar 2009 11:11:36 +0200 | haftmann | generalized pull to anamorph | changeset | files |
| Tue, 31 Mar 2009 11:04:34 +0200 | haftmann | merged | changeset | files |
| Tue, 31 Mar 2009 11:04:05 +0200 | haftmann | ML snippets for experimental evaluation | changeset | files |