| Thu, 15 Mar 2012 19:48:19 +0100 | wenzelm | added ML antiquotation @{keyword}; | changeset | files |
| Thu, 15 Mar 2012 19:02:34 +0100 | wenzelm | declare minor keywords via theory header; | changeset | files |
| Thu, 15 Mar 2012 17:45:54 +0100 | wenzelm | more explicit header_edits before main text_edits; | changeset | files |
| Thu, 15 Mar 2012 17:40:26 +0100 | wenzelm | declare keywords as side-effect of header edit; | changeset | files |