On 6/11/2012 7:36 PM, Michael Norrish wrote:
> I'm glad you got the emacs mode to work. There’s some (recently
> updated) documentation for it at
>
> http://hol.sourceforge.net/hol-mode.html
I used "(load "<holdir>/tools/hol-mode")" from that file, and the 3
Emacs commands at this FAQ page link to enable the Unicode:
http://hol.sourceforge.net/faq.html#Parsing
> Incidentally, there is also a vim-mode if you prefer that editor, but
> I suspect it won't work on Windows.
>
> Best,
> Michael
Emacs will be good, once it becomes less mysterious. Vi is also pretty
mysterious. Both require a deeper stack than I prefer to use.
But I may try out HOL4 under Linux someday for the Poly/ML speed.
Thanks,
--GB
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
