Re: [isabelle] RC3: patch to get wwwfind running again



On Mon, 11 Feb 2013, Rafal Kolanski wrote:

So, here is a minimal patch to get the wwwfind tool working again. It
helps that there was nothing wrong with the code itself, only the way it
was being invoked.

I've looked only briefly, to understand what it does. Should there be a static Start_WWW_Find.thy in the changeset? It is missing. (Or is it somehow dynamic?)


	Makarius






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