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


On Monday 05 June 2006 03:10, Michael Nedzelsky wrote:
> On the site there is a link
> "";, but  I get the following
> message for this link:

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


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