| Mon, 08 Aug 2011 13:40:24 +0200 | wenzelm | proper signature; | changeset | files |
| Mon, 08 Aug 2011 13:39:51 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Mon, 08 Aug 2011 13:29:54 +0200 | wenzelm | slightly more uniform messages; | changeset | files |
| Mon, 08 Aug 2011 13:19:19 +0200 | wenzelm | avoid pointless completion of illegal control commands; | changeset | files |