| Wed, 17 Nov 2010 13:38:53 +0100 | wenzelm | refrain from opening Scratch.thy by default, to avoid bombing the editor with old/long theory text; | changeset | files |
| Wed, 17 Nov 2010 11:24:07 +0100 | wenzelm | less parentheses, cf. Session.welcome; | changeset | files |
| Tue, 16 Nov 2010 22:40:45 +0100 | wenzelm | avoid spam; | changeset | files |
| Tue, 16 Nov 2010 22:13:54 +0100 | wenzelm | more robust determination of java executable; | changeset | files |