| Wed, 06 Aug 2008 00:12:21 +0200 | wenzelm | adapted Antiq; | changeset | files |
| Wed, 06 Aug 2008 00:12:02 +0200 | wenzelm | parse_sort/typ/term/prop: report markup; | changeset | files |
| Wed, 06 Aug 2008 00:11:12 +0200 | wenzelm | sort/typ/term/prop: inner_syntax markup encodes original source position; | changeset | files |