1.1 --- a/doc-src/antiquote_setup.ML Tue May 18 00:01:51 2010 +0200
1.2 +++ b/doc-src/antiquote_setup.ML Tue May 18 10:13:33 2010 +0200
1.3 @@ -166,9 +166,9 @@
1.4 in
1.5
1.6 val _ = entity_antiqs no_check "" "syntax";
1.7 -val _ = entity_antiqs (K (is_some o OuterKeyword.command_keyword)) "isacommand" "command";
1.8 -val _ = entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "keyword";
1.9 -val _ = entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "element";
1.10 +val _ = entity_antiqs (K (is_some o Keyword.command_keyword)) "isacommand" "command";
1.11 +val _ = entity_antiqs (K Keyword.is_keyword) "isakeyword" "keyword";
1.12 +val _ = entity_antiqs (K Keyword.is_keyword) "isakeyword" "element";
1.13 val _ = entity_antiqs (thy_check Method.intern Method.defined) "" "method";
1.14 val _ = entity_antiqs (thy_check Attrib.intern Attrib.defined) "" "attribute";
1.15 val _ = entity_antiqs no_check "" "fact";
2.1 --- a/doc-src/rail.ML Tue May 18 00:01:51 2010 +0200
2.2 +++ b/doc-src/rail.ML Tue May 18 10:13:33 2010 +0200
2.3 @@ -59,9 +59,9 @@
2.4 (* [(kind, (markup, check, style))*)
2.5 Symtab.make [
2.6 ("syntax", ("", no_check, true)),
2.7 - ("command", ("isacommand", K (is_some o OuterKeyword.command_keyword), true)),
2.8 - ("keyword", ("isakeyword", K OuterKeyword.is_keyword, true)),
2.9 - ("element", ("isakeyword", K OuterKeyword.is_keyword, true)),
2.10 + ("command", ("isacommand", K (is_some o Keyword.command_keyword), true)),
2.11 + ("keyword", ("isakeyword", K Keyword.is_keyword, true)),
2.12 + ("element", ("isakeyword", K Keyword.is_keyword, true)),
2.13 ("method", ("", thy_check Method.intern Method.defined, true)),
2.14 ("attribute", ("", thy_check Attrib.intern Attrib.defined, true)),
2.15 ("fact", ("", no_check, true)),
2.16 @@ -473,7 +473,7 @@
2.17 |> parse
2.18 |> print;
2.19
2.20 -val _ = ThyOutput.antiquotation "rail" (Scan.lift ( OuterParse.position Args.name ))
2.21 +val _ = ThyOutput.antiquotation "rail" (Scan.lift (Parse.position Args.name))
2.22 (fn {context = ctxt,...} => fn txt => process txt ctxt);
2.23
2.24 end;