| 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 |
| Thu, 15 Mar 2012 10:16:21 +0100 | wenzelm | explicit Outer_Syntax.Decl; | changeset | files |
| Thu, 15 Mar 2012 09:55:42 +0100 | wenzelm | allow multiple 'keywords' as in 'fixes'; | changeset | files |
| Thu, 15 Mar 2012 00:10:45 +0100 | wenzelm | some support for outer syntax keyword declarations within theory header; | changeset | files |