| Tue, 18 Mar 2014 11:13:38 +0100 | wenzelm | unused; | changeset | files |
| Tue, 18 Mar 2014 11:07:47 +0100 | wenzelm | tuned signature -- rearranged modules; | changeset | files |
| Tue, 18 Mar 2014 10:00:23 +0100 | wenzelm | tuned proofs; | changeset | files |
| Mon, 17 Mar 2014 23:16:26 +0100 | wenzelm | back to KeyEventInterceptor (see 423e29f1f304), but without focus change, which helps to avoid loosing key events due to quick opening and closing of popups; | changeset | files |
| Tue, 18 Mar 2014 09:39:07 -0700 | huffman | remove unnecessary finiteness assumptions from lemmas about setsum | changeset | files |
| Tue, 18 Mar 2014 11:58:30 -0700 | huffman | adapt to Isabelle/c726ecfb22b6 | changeset | files |