| 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 |
| Wed, 14 Mar 2012 22:34:18 +0100 | wenzelm | merged | changeset | files |