Mon, 13 Nov 2006 22:21:09 +0100 | kleing | atbroy51 broke down, switch to atbroy9 | changeset | files |
Mon, 13 Nov 2006 21:52:14 +0100 | krauss | updated | changeset | files |
Mon, 13 Nov 2006 20:10:02 +0100 | wenzelm | antiquotation "theory": proper output, only check via ThyInfo.theory; | changeset | files |
Mon, 13 Nov 2006 20:08:52 +0100 | wenzelm | tuned; | changeset | files |
Mon, 13 Nov 2006 20:08:20 +0100 | wenzelm | added antiquotation @{theory name}; | changeset | files |
Mon, 13 Nov 2006 18:19:24 +0100 | wenzelm | fixed comment -- oops; | changeset | files |