[opentheory-users] old link on homepage

[Joe Hurd]

Hi Ramana,

Thanks for the correction - I have updated the link.

Cheers,

Joe

On Sun, Aug 19, 2012 at 9:12 AM, Ramana Kumar <ramana at member.fsf.org> wrote:
> The "RW" link for HOL4 on http://www.gilith.com/research/opentheory/ points
> to the old repository of HOL4 sources.
>
> It should (now) point at the new repository, which has currently maintained
> code, here: https://github.com/mn200/HOL/tree/master/src/opentheory.
> (OpenTheory support is no longer in a separate branch of HOL4 but rather in
> the main ("master") branch.)
>
> _______________________________________________
> opentheory-users mailing list
> opentheory-users at gilith.com
> http://www.gilith.com/opentheory/mailing-list
>