| Tue, 08 Jan 2008 11:37:27 +0100 | haftmann | refined overloading target | changeset | files |
| Tue, 08 Jan 2008 10:24:34 +0100 | berghofe | imp_conv_disj is now declared as a "code unfold" lemma to avoid that | changeset | files |
| 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 |
| Sun, 06 Jan 2008 18:09:34 +0100 | wenzelm | build Isabelle process wrapper; | changeset | files |