In the paper on miz3 I read about the vi interface. I'm much more Emacs-skilled than I am vi-skilled, so I would much prefer using Emacs.
I searched a little online, but the results seem discouraging... Does anyone have (or know of) integration with ProofGeneral? Thanks and best regards, Marko
pgpMrVrfKyMV5.pgp
Description: PGP signature
------------------------------------------------------------------------------ Master Visual Studio, SharePoint, SQL, ASP.NET, C# 2012, HTML5, CSS, MVC, Windows 8 Apps, JavaScript and much more. Keep your skills current with LearnDevNow - 3,200 step-by-step video tutorials by Microsoft MVPs and experts. ON SALE this month only -- learn more at: http://p.sf.net/sfu/learnnow-d2d
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
