Sun, 18 Dec 2016 23:43:50 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
Sun, 18 Dec 2016 22:14:53 +0100 | wenzelm | tuned whitespace; | changeset | files |
Sun, 18 Dec 2016 21:58:13 +0100 | wenzelm | added isabelle jedit -R; | changeset | files |