Re: [isabelle] Porting a tool: disappeared

On Thu, 18 Nov 2010, Rafal Kolanski wrote:

I'm porting a tool to Isabelle 2009-1, and the tool uses, 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?

The last version with is Isabelle2007; in Isabelle2008 it is already gone, but OuterSyntax.parse is in its place. The changeset 722cf4fdd4dd also hints at this connection.

Deleting old/weakly defined functionality for outer syntax processing like has generally improved the situation.

What are your requirements then?


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