| Tue, 10 Nov 2015 19:50:56 +0100 | wenzelm | ignore pointless/unused options; | changeset | files |
| 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 |