Thanks. This comment appears to refer to the old logo featured in the manual <https://hol-theorem-prover.org/images/small-logo.gif> (because it was in the manual back when it featured that logo) instead of the current one (which is very similar).
Do you have a link to the aforementioned photo of the snow-watching lantern in Avra Cohn's garden? On 17/12/17 16:19, michael.norr...@data61.csiro.au wrote: > Our manuals’ acknowledgements text includes: > > The cover design is by Arnold Smith, who used a photograph of a `snow > watching lantern' taken by > Avra Cohn (in whose garden the original object resides). John Van Tassel > composed the \LaTeX\ > picture of the lantern. > > This would have been done in the late 80s (and I am taking the > acknowledgement text on trust). > > Michael -- 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
