wneuper/isa: comparison doc-src/rail.ML

equal deleted inserted replaced

-:aa4bc5a4be1d
+:b0033a307d1f
 val markup_table =
 (*  [(kind, (markup, check, style))*)
 Symtab.make [
 ("syntax", ("", no_check, true)),
-("command", ("isacommand", K (is_some o OuterKeyword.command_keyword), true)),
+("command", ("isacommand", K (is_some o Keyword.command_keyword), true)),
-("keyword", ("isakeyword", K OuterKeyword.is_keyword, true)),
+("keyword", ("isakeyword", K Keyword.is_keyword, true)),
-("element", ("isakeyword", K OuterKeyword.is_keyword, true)),
+("element", ("isakeyword", K Keyword.is_keyword, true)),
 ("method", ("", thy_check Method.intern Method.defined, true)),
 ("attribute", ("", thy_check Attrib.intern Attrib.defined, true)),
 ("fact", ("", no_check, true)),
 ("variable", ("", no_check, true)),
 ("case", ("", no_check, true)),
 fun process txt ctxt =
 lex txt ctxt
 |> parse
 |> print;
-val _ = ThyOutput.antiquotation "rail" (Scan.lift ( OuterParse.position Args.name ))
+val _ = ThyOutput.antiquotation "rail" (Scan.lift (Parse.position Args.name))
 (fn {context = ctxt,...} => fn txt => process txt ctxt);
 end;