prefer structure Keyword and Parse;
authorwenzelm
Tue May 18 10:13:33 2010 +0200 (2010-05-18)
changeset 36973b0033a307d1f
parent 36972 aa4bc5a4be1d
child 36978 4ec5131c6f46
prefer structure Keyword and Parse;
doc-src/antiquote_setup.ML
doc-src/rail.ML
     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;