On 6/11/2012 7:05 PM, Michael Norrish wrote:
> I've made Konrad's suggested change in the repository so that users of
> future releases won't hit the same problem.
>
> You can see the revised file at
>
> https://raw.github.com/mn200/HOL/e8110e6d9c03e54685f30f216357f77ef380b8f2/examples/euclid.sml
>
> Best,
> Michael
I have been known to be involved in making great contributions towards
resolving trivial problems.
My response here is just an excuse to speak informally concerning your
Emacs hol-mode.el interface, which I've now experimented with.
Dude, the Emacs interface to HOL4 is awesome.
I can't believe I was going to try and do this stuff without it. With
split screens and the ability to send highlighted text to the prover
with various commands, that's great.
I customize Emacs enough to make it friendlier. Tabs at the top relieve
the stress on my stack when lots of files are open:
https://github.com/dholm/tabbar
Other easy customizing:
http://xahlee.org/emacs/emacs_make_modern.html
--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
