| Mon, 27 Jun 2011 22:23:44 +0200 | wenzelm | NEWS; | changeset | files |
| Mon, 27 Jun 2011 22:20:49 +0200 | wenzelm | document antiquotations are managed as theory data, with proper name space and entity markup; | changeset | files |
| Mon, 27 Jun 2011 17:51:28 +0200 | wenzelm | proper checking of @{ML_antiquotation}; | changeset | files |