Re: [isabelle] Link to Submission Guidelines doesn't work



Michael,

On Monday 05 June 2006 03:10, Michael Nedzelsky wrote:
> On the site http://afp.sourceforge.net there is a link
> "http://afp.sourceforge.net/submitting.shtml";, but  I get the following
> message for this link:
[..]

does this error persist for you? The link seems to work from here.

Cheers,
Gerwin





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