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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and