| Mon, 03 Sep 2012 11:30:29 +0200 | wenzelm | tuned boundary cases of command-line; | changeset | files |
| Mon, 03 Sep 2012 11:09:25 +0200 | wenzelm | "isabelle logo" produces EPS and PDF format simultaneously; | changeset | files |
| Mon, 03 Sep 2012 10:17:17 +0200 | wenzelm | actually reset output when there is no valid command span here (especially relevant at very end of jEdit buffer, which lacks the terminating newline); | changeset | files |
| Mon, 03 Sep 2012 09:15:58 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 03 Sep 2012 09:15:40 +0200 | wenzelm | some parallel ML; | changeset | files |
| Sun, 02 Sep 2012 21:24:33 +0200 | wenzelm | proper classpath on windows; | changeset | files |