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



On Mon, 11 Feb 2013, Rafal Kolanski wrote:

I'll go back to fixing wwwfind now, which definitely does not work.

You have approx. 24h left.  I had reported its broken state almost 3
months ago.  The Isabelle2013 release train will not wait for latecomers.

Please don't treat me as if I broke it.

Nobody cares who "broke" it.  This is not how software maintenance works.


	Makarius





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