2012-03-15 wenzelm prefer formally checked @{keyword} parser;
2012-03-15 wenzelm added ML antiquotation @{keyword};
2012-03-15 wenzelm declare minor keywords via theory header;
2012-03-15 wenzelm more explicit header_edits before main text_edits;
2012-03-15 wenzelm declare keywords as side-effect of header edit;
2012-03-15 wenzelm more recent recent_syntax, e.g. relevant for document rendering during startup;
2012-03-15 wenzelm clarified syntax of prospective keywords;
2012-03-15 wenzelm basic support for outer syntax keywords in theory header;
2012-03-15 wenzelm maintain Version.syntax within document state;
2012-03-15 wenzelm explicit Outer_Syntax.Decl;
2012-03-15 wenzelm allow multiple 'keywords' as in 'fixes';
2012-03-14 wenzelm some support for outer syntax keyword declarations within theory header;
2012-03-14 wenzelm merged
2012-03-14 paulson merged
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip