It doesn't look too bad to me - happy to port them if you like.
On 5 April 2018 at 12:36, Lawrence Paulson <l...@cam.ac.uk> wrote:
> I have just managed to locate Jeff Joyce's "Tamarack-2" files, which he
> describes as slightly simplified compared with the original Gordon
> computer. They are dated 1989 and the comments suggest that they are for
> HOL88. I guess they will bring back the memories for some people. But it
> would probably take a lot of work to get them to run in a modern version of
> HOL.
>
> http://www.cl.cam.ac.uk/~lp15/tmp/tamarack2.zip
>
> Larry
>
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> hol-info mailing list
> hol-info@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/hol-info
>
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
