On 14/12/17 12:00, Konrad Slind wrote: > Maybe you are thinking of the snow-watching latern? > > https://www.cl.cam.ac.uk/archive/mjcg/lantern.html
Maybe. I am not sure, but I think not. This lantern is very similar to the older logo of HOL. I think that I recall seeing a photo that is almost identical to the current logo found in the HOL4 documentation (and it was different from the snow-watching lantern in this page) but my memory may be failing. Do you know where the current logo comes from? Regards and thanks. -- Do not eat animals; respect them as you respect people. https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan ------------------------------------------------------------------------------ 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
