| Mon, 29 Aug 2005 08:34:24 +0200 | haftmann | canonical interface for 'default' | changeset | files |
| Sun, 28 Aug 2005 19:48:15 +0200 | wenzelm | output \<^loc> as 'loc' span; | changeset | files |
| Sun, 28 Aug 2005 19:47:24 +0200 | wenzelm | isatool latex -o sty; | changeset | files |