Mon, 09 Mar 2009 17:55:03 +0100 | wenzelm | adapted to simplified ThyOutput.antiquotation interface; | changeset | files |
Mon, 09 Mar 2009 17:54:27 +0100 | wenzelm | adapted to simplified ThyOutput.antiquotation interface; | changeset | files |
Mon, 09 Mar 2009 17:53:53 +0100 | wenzelm | simplified interface to define document antiquotations, cf. antiquotatation, maybe_pretty_source, output; | changeset | files |