| Wed, 02 Oct 2013 19:49:31 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 02 Oct 2013 19:49:15 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 02 Oct 2013 19:43:58 +0200 | wenzelm | unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19; | changeset | files |
| Wed, 02 Oct 2013 19:27:12 +0200 | wenzelm | updated to scala-2.10.3; | changeset | files |
| Wed, 02 Oct 2013 17:10:01 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 02 Oct 2013 17:09:12 +0200 | wenzelm | some highlights of Isabelle2013-1 based on NEWS; | changeset | files |
| Wed, 02 Oct 2013 17:08:39 +0200 | wenzelm | tuned; | changeset | files |