src/Pure/Tools/rail.ML
changeset 59937 6eccb133d4e6
parent 59809 87641097d0f3
child 61456 b521b8b400f7
     1.1 --- a/src/Pure/Tools/rail.ML	Mon Apr 06 17:06:48 2015 +0200
     1.2 +++ b/src/Pure/Tools/rail.ML	Mon Apr 06 17:20:10 2015 +0200
     1.3 @@ -363,8 +363,7 @@
     1.4  in
     1.5  
     1.6  val _ = Theory.setup
     1.7 -  (Thy_Output.antiquotation @{binding rail}
     1.8 -    (Scan.lift (Parse.input (Parse.string || Parse.cartouche)))
     1.9 +  (Thy_Output.antiquotation @{binding rail} (Scan.lift Args.text_input)
    1.10      (fn {state, context, ...} => output_rules state o read context));
    1.11  
    1.12  end;