[isabelle] Porting a tool: OuterSyntax.read disappeared



Greetings Everyone,

I'm porting a tool to Isabelle 2009-1, and the tool uses OuterSyntax.read, which was removed in changeset 722cf4fdd4dd with the comment "eliminated unused trace, read". That's cool, but what am I supposed to use in its place?

Any advice welcome,

Sincerely,

Rafal Kolanski.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.