| Thu, 15 Mar 2012 14:39:42 +0100 | wenzelm | more recent recent_syntax, e.g. relevant for document rendering during startup; | changeset | files |
| Thu, 15 Mar 2012 14:22:54 +0100 | wenzelm | clarified syntax of prospective keywords; | changeset | files |
| Thu, 15 Mar 2012 14:13:49 +0100 | wenzelm | basic support for outer syntax keywords in theory header; | changeset | files |
| Thu, 15 Mar 2012 11:37:56 +0100 | wenzelm | maintain Version.syntax within document state; | changeset | files |