On 12/06/12 11:45, gottfried.bar...@gmx.com wrote: > Emacs will be good, once it becomes less mysterious. Vi is also pretty > mysterious. Both require a deeper stack than I prefer to use.
I hope the menus in Emacs are some help. The HOL menu captures most of the emacs mode's functionality. > But I may try out HOL4 under Linux someday for the Poly/ML speed. One option I've considered is the development of a standard virtualbox image of (Linux + Poly + HOL) that Windows users could use from within Windows. Michael ------------------------------------------------------------------------------ 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 hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info