| Thu, 09 Aug 2012 14:37:43 +0200 | wenzelm | refined recovery of scan errors: longest prefix of delimited token after failure, otherwise just one symbol; | changeset | files |
| Thu, 09 Aug 2012 14:09:36 +0200 | wenzelm | explicit FIXME; | changeset | files |
| Thu, 09 Aug 2012 12:39:05 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 08 Aug 2012 22:14:39 +0200 | haftmann | corrected header | changeset | files |
| Wed, 08 Aug 2012 20:35:34 +0200 | wenzelm | refined isabelle mkroot; | changeset | files |
| Wed, 08 Aug 2012 17:49:56 +0200 | wenzelm | simplified session specifications: names are taken verbatim and current directory is default; | changeset | files |