Re: [isabelle] RC3: patch to get wwwfind running again
On Tue, 12 Feb 2013, Rafal Kolanski wrote:
Here it is again.
OK, it is now here
I can confirm that it works on Linux (as specified). Being curious about
its exclusion of Mac OS X and Windows/Cygwin, I've tried the other
platforms as well, and it did not work (also as specified). The problems
seem to be unportable netstat options (Mac OS X) and other unknown
differences on Cygwin (although netstat and lighttpd are the same there as
So we are back to the status-quo of WWW_Find for the Isabelle2013 release.
This archive was generated by a fusion of
Pipermail (Mailman edition) and