| Mon, 07 Jan 2008 11:40:20 +0100 | wenzelm | isabelle.jars: temporarily disabled, until isatest gets up-to-date java; | changeset | files |
| Mon, 07 Jan 2008 02:24:24 +0100 | urbanc | some pre-release tunings | changeset | files |
| Sun, 06 Jan 2008 19:18:01 +0100 | wenzelm | more robust console thread (cf. jedit plugin version); | changeset | files |