src/Pure/Tools/rail.ML
changeset 59809 87641097d0f3
parent 59064 a8bcb5a446c8
child 59937 6eccb133d4e6
equal deleted inserted replaced
59808:3b6ad54b04fc 59809:87641097d0f3
   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}
   367     (Scan.lift (Parse.source_position (Parse.string || Parse.cartouche)))
   367     (Scan.lift (Parse.input (Parse.string || Parse.cartouche)))
   368     (fn {state, context, ...} => output_rules state o read context));
   368     (fn {state, context, ...} => output_rules state o read context));
   369 
   369 
   370 end;
   370 end;
   371 
   371 
   372 end;
   372 end;