I’m pretty sure I derived the small logo GIF file from the eps file in the HOL
repo using some image manipulation process, and perhaps some bitmap tweaking.
The photo may be the one linked to earlier at the URL under cl.cam.ac.uk/~mjcg.
Michael
On 19/12/17, 13:13, "Mario Castelán Castro" <marioxcc...@yandex.com> wrote:
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
------------------------------------------------------------------------------
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
