search

immler / hol-light

Automatically exported from code.google.com/p/hol-light
Other
0 stars 0 forks source link

hol-online link broken #5

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Its presence here https://github.com/jbem/dead-souls suggests that the project 
is abandoned. The link on the hol-light home page (and google code page) is 
broken.

Original issue reported on code.google.com by ramana.k...@gmail.com on 4 Sep 2011 at 10:31

GoogleCodeExporter commented 9 years ago 
Thanks, I have (very belatedly) removed the link to hol-online.

Original comment by jrh...@gmail.com on 5 Sep 2012 at 10:30

GoogleCodeExporter commented 9 years ago 
Main HOL Light homepage (http://www.cl.cam.ac.uk/~jrh13/hol-light/) again has 
broken links: to hol-online (http://code.google.com/p/hol-online/) and 
Formalpedia (http://formalpedia.org/).

Original comment by piotr.tr...@gmail.com on 23 Jul 2014 at 7:49