| Mon, 20 Feb 2012 20:24:01 +0100 | wenzelm | more careful painting of overview component: more precise and more efficient; | changeset | files |
| Mon, 20 Feb 2012 15:36:48 +0100 | wenzelm | clarified initial process startup errors: recover image load failure message (cf. 2cb7e34f6096) and suppress accidental output from raw ML toplevel; | changeset | files |
| Mon, 20 Feb 2012 12:37:17 +0100 | huffman | use qualified constant names instead of suffixes (from Florian Haftmann) | changeset | files |
| Sat, 18 Feb 2012 10:35:45 +0100 | haftmann | tuned proofs | changeset | files |