HOL4 has integration with both Emacs and vim.
HOL Light, however, I think has neither.
On Wed, Jan 23, 2013 at 12:12 PM, Marko Schütz Schmuck
<[email protected]>wrote:
> 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
>
> ------------------------------------------------------------------------------
> 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
>
>
------------------------------------------------------------------------------
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
