| Thu, 29 Nov 2012 16:59:53 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 29 Nov 2012 16:52:13 +0100 | wenzelm | prefer 32 bit platform for ISABELLE_FULL_TEST, to make memory problems more explicit instead of disk thrashing (notably in HOL-Quickcheck_Benchmark); | changeset | files |
| Thu, 29 Nov 2012 14:29:29 +0100 | wenzelm | merged | changeset | files |
| Thu, 29 Nov 2012 09:59:20 +0100 | hoelzl | make SML/NJ happy (give names for all fields in a record) | changeset | files |
| Thu, 29 Nov 2012 14:05:53 +0100 | wenzelm | more robust syntax that survives collapse of \<^isub> and \<^sub>; | changeset | files |
| Thu, 29 Nov 2012 10:56:59 +0100 | wenzelm | further update and clarification of the all-important README_REPOSITORY; | changeset | files |