Hi Ian,
You should be able to find it under:
HOL/tools/hol-mode.{el,sml}
A while back, I wrote an 8-page guide to HOL and Michael Norrish' hol-mode:
http://www.cl.cam.ac.uk/~mom22/HOL-interaction.pdf
Regards,
Magnus
On 5 February 2012 17:26, Ian Zimmerman <[email protected]> wrote:
>
> The Kananaskis distribution contains a doc/hol-mode subdirectory with a
> quick reference chart of Emacs commands, but there seems to be no actual
> Emacs code included. Does it exist and where might I find it?
>
> --
> Ian Zimmerman
> gpg public key: 1024D/C6FF61AD
> fingerprint: 66DC D68F 5C1B 4D71 2EE5 BD03 8A00 786C C6FF 61AD
> Rule 420: All persons more than eight miles high to leave the court.
>
> ------------------------------------------------------------------------------
> Try before you buy = See our experts in action!
> The most comprehensive online learning library for Microsoft developers
> is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
> Metro Style Apps, more. Free future releases when you subscribe now!
> http://p.sf.net/sfu/learndevnow-dev2
> _______________________________________________
> hol-info mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/hol-info
------------------------------------------------------------------------------
Try before you buy = See our experts in action!
The most comprehensive online learning library for Microsoft developers
is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3,
Metro Style Apps, more. Free future releases when you subscribe now!
http://p.sf.net/sfu/learndevnow-dev2
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
