Although not nearly as powerful as ProofGeneral, I find Tuareg mode for OCaml (http://www.emacswiki.org/emacs/TuaregMode) quite useful for using HOL Light in Emacs.
Regards, Petros On 23/01/2013 17:33, Ramana Kumar wrote: > 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] <mailto:[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 <http://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] <mailto:[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 > -- Petros Papapanagiotou CISA, School of Informatics The University of Edinburgh Email: [email protected] --- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. ------------------------------------------------------------------------------ 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
