| Sun, 28 Dec 2008 19:26:18 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 28 Dec 2008 18:40:38 +0100 | wenzelm | superficial tuning; | changeset | files |
| Sun, 28 Dec 2008 16:40:29 +0100 | wenzelm | use symbolic Markup elements instead of literal strings; | changeset | files |
| Sun, 28 Dec 2008 12:59:27 +0100 | wenzelm | replaced inUIThread by scala-style swing/swing_async combinators; | changeset | files |
| Sat, 27 Dec 2008 15:20:46 +0100 | wenzelm | dynamic instances Isabelle.system, Isabelle.symbols; | changeset | files |
| Sat, 27 Dec 2008 15:20:02 +0100 | wenzelm | use System.getenv temporarily; | changeset | files |