| Sat, 28 Sep 2013 22:47:17 +0200 | wenzelm | make SML/NJ more happy; | changeset | files |
| Sat, 28 Sep 2013 20:24:13 +0200 | wenzelm | enforce IsabelleText font for better symbol coverage, especially on Windows; | changeset | files |
| Sat, 28 Sep 2013 16:36:17 +0200 | wenzelm | proper wrapper for parser -- more explicit error; | changeset | files |