src/Pure/Tools/rail.ML
changeset 59937 6eccb133d4e6
parent 59809 87641097d0f3
child 61456 b521b8b400f7
equal deleted inserted replaced
59936:b8ffc3dc9e24 59937:6eccb133d4e6
   361   end;
   361   end;
   362 
   362 
   363 in
   363 in
   364 
   364 
   365 val _ = Theory.setup
   365 val _ = Theory.setup
   366   (Thy_Output.antiquotation @{binding rail}
   366   (Thy_Output.antiquotation @{binding rail} (Scan.lift Args.text_input)
   367     (Scan.lift (Parse.input (Parse.string || Parse.cartouche)))
       
   368     (fn {state, context, ...} => output_rules state o read context));
   367     (fn {state, context, ...} => output_rules state o read context));
   369 
   368 
   370 end;
   369 end;
   371 
   370 
   372 end;
   371 end;