| Mon, 09 Mar 2009 12:24:01 +0100 | nipkow | fixed typing of UN/INT syntax | changeset | files |
| Mon, 09 Mar 2009 15:36:31 +0100 | wenzelm | more contributors; | changeset | files |
| Mon, 09 Mar 2009 11:57:48 +0100 | wenzelm | adapted ThyOutput.antiquotation; | changeset | files |
| Mon, 09 Mar 2009 11:56:34 +0100 | wenzelm | refined antiquotation interface: formally pass result context and (potential) result source; | changeset | files |