| Mon, 29 Aug 2005 16:18:06 +0200 | wenzelm | clarify type tok, do not emit markup flag for suppressed tokens; | changeset | files |
| Mon, 29 Aug 2005 16:18:04 +0200 | wenzelm | use AList operations; | changeset | files |
| Mon, 29 Aug 2005 16:18:03 +0200 | wenzelm | cover tagged command regions; | changeset | files |
| Mon, 29 Aug 2005 16:18:02 +0200 | wenzelm | tune spacing where a generated theory text is included directly; | changeset | files |
| Mon, 29 Aug 2005 11:44:23 +0200 | wenzelm | updated; | changeset | files |
| Mon, 29 Aug 2005 10:28:17 +0200 | wenzelm | recover original definitions of \isactrlsub etc.; | changeset | files |
| 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 |