Wed, 14 Mar 2012 18:09:05 +0100 | wenzelm | tuned messages; | changeset | files |
Wed, 14 Mar 2012 17:52:38 +0100 | wenzelm | source positions for locale and class expressions; | changeset | files |
Wed, 14 Mar 2012 15:59:39 +0100 | wenzelm | some proof indentation; | changeset | files |
Wed, 14 Mar 2012 15:37:51 +0100 | wenzelm | more explicit indication of swing thread context; | changeset | files |