search

vprover / vprover.github.io

Other
0 stars 5 forks source link

Broken mailing list links #9

Open sankalpgambhir opened 1 year ago

sankalpgambhir commented 1 year ago

The links for the Vampire mailing list seem to be broken. I've tried on a couple devices so I think it may be an issue with the link itself.

Eg:

https://github.com/vprover/vprover.github.io/blob/c5fd562b0cadbaa0b1703f66cb91c6e322adb10f/download.html#L13

https://github.com/vprover/vprover.github.io/blob/c5fd562b0cadbaa0b1703f66cb91c6e322adb10f/index.html#L22

https://github.com/vprover/vprover.github.io/blob/c5fd562b0cadbaa0b1703f66cb91c6e322adb10f/_posts/2017-12-10-vampire-mailing-list.md?plain=1#L7

MichaelRawson commented 5 months ago

I'm not sure we actually have a mailing list any more; @selig might know. Thanks for the patches; I've just opened a PR to significantly reduce the website's content and point to the Vampire wiki, once that's done I'll see what still needs fixing.

Also, sorry for the delay! The website needs some love.