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
On 15/12/17, 07:39, "Mario Castelán Castro" <marioxcc...@yandex.com> wrote:
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
------------------------------------------------------------------------------
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
