| Sat, 26 Jan 2008 23:15:33 +0100 | wenzelm | syntax error: unified output of priorities; | changeset | files |
| Sat, 26 Jan 2008 22:14:07 +0100 | wenzelm | syntax error: reduced spam -- print expected nonterminals instead of terminals; | changeset | files |
| Sat, 26 Jan 2008 20:01:37 +0100 | wenzelm | avoid redundant escaping of Isabelle symbols; | changeset | files |