Fri, 21 May 2010 11:16:01 +0200 | wenzelm | more systematic treatment of internal state, which belongs strictly to the main actor, not the Swing thread; | changeset | files |
Fri, 21 May 2010 11:12:54 +0200 | wenzelm | component resize: full handle_resize; | changeset | files |
Thu, 20 May 2010 21:19:38 -0700 | huffman | speed up some proofs and fix some warnings | changeset | files |