changeset 58903 | 38c72f5f6c2e |
parent 58465 | bd06c6479748 |
child 58928 | 23d0ffd48006 |
--- a/src/Pure/Tools/rail.ML Wed Nov 05 20:05:32 2014 +0100 +++ b/src/Pure/Tools/rail.ML Wed Nov 05 20:20:57 2014 +0100 @@ -316,7 +316,7 @@ fun output_rules state rules = let - val output_antiq = Thy_Output.eval_antiq (#1 (Keyword.get_lexicons ())) state; + val output_antiq = Thy_Output.eval_antiq (Keyword.get_keywords ()) state; fun output_text b s = Output.output s |> b ? enclose "\\isakeyword{" "}"