| Tue, 10 Nov 2015 19:03:29 +0100 | wenzelm | added document antiquotation @{theory_text}; | changeset | files |
| Tue, 10 Nov 2015 16:03:59 +0100 | wenzelm | allow open symboloid; | changeset | files |
| Tue, 10 Nov 2015 17:49:54 +0100 | fleury | generalized so that is also works for veriT proofs | changeset | files |