search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 7 forks source link

Broken link on active systems #15

Closed makarius closed 6 years ago

makarius commented 6 years ago

https://theoremprover-museum.github.io/wanted/active does not work: 404

tkw1536 commented 6 years ago

I believe the actual page that you meant is at https://theoremprover-museum.github.io/active/.

Was the page above linked from somewhere? Then we should correct the link.

kohlhase commented 6 years ago

Dear Tom,

I already  did.

Michael

On 14.06.18 18:40, Tom Wiesing wrote:

I believe the actual page that you meant is at https://theoremprover-museum.github.io/active/.

Was the page above linked from somewhere? Then we should correct the link.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/theoremprover-museum/theoremprover-museum.github.io/issues/15#issuecomment-397360500, or mute the thread https://github.com/notifications/unsubscribe-auth/AD2bolPT1Xi3Y984DdJsrCAYM0dIg6dZks5t8pISgaJpZM4UoKHN.

--

Prof. Dr. Michael Kohlhase, http://kwarc.info/kohlhase, skype: mibein42

Professur für Wissensrepräsentation & -verarbeitung Informatik, FAU Erlangen Nürnberg, Martensstr. 3, D-91058 Erlangen, Room 11.139, tel/fax: (49) 9131-85-64052/55, michael.kohlhase@fau.de