Stream: Archive Mirror: Isabelle Users Mailing List

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

view this post on Zulip Email Gateway (Aug 17 2022 at 14:47):

From: Michael Nedzelsky <MichaelNedzelsky@yandex.ru>
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:

An error has been encountered in accessing this page.

  1. Server: afp.sourceforge.net
  2. URL path: /submitting.shtml

  3. Error notes: File does not
    exist: /home/groups/a/af/afp/htdocs/submitting.shtml

  4. Error type: 404

  5. Request method: GET
  6. Request query string:
  7. Time: 2006-06-04 10:02:44 PDT (1149440564)

Best regards
Michael Nedzelsky

view this post on Zulip Email Gateway (Aug 17 2022 at 14:49):

From: Gerwin Klein <gerwin.klein@nicta.com.au>
Michael,

[..]

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

Cheers,
Gerwin

Last updated: May 03 2024 at 08:18 UTC