| Mon, 20 Feb 2012 08:01:08 +0100 | haftmann | tuned proof | changeset | files |
| Sun, 19 Feb 2012 15:40:58 +0100 | haftmann | tuned proof | changeset | files |
| Sun, 19 Feb 2012 15:30:35 +0100 | haftmann | distributed lattice properties of predicates to places of instantiation | changeset | files |
| Mon, 20 Feb 2012 15:17:03 +0100 | bulwahn | removing some unnecessary premises from Divides | changeset | files |
| Mon, 20 Feb 2012 14:23:46 +0100 | huffman | simplify projections on simultaneous computations of div and mod; tuned structure (from Florian Haftmann) | changeset | files |
| Mon, 20 Feb 2012 22:35:32 +0100 | wenzelm | observe HEIGHT of overview ticks; | changeset | files |
| 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 |