> On 4 Nov 2015, at 05:22, Joe Leslie-Hurd <j...@gilith.com> wrote: > > and Freek > Wiedijk's vi mode for HOL Light.
Where do I find the above-mentioned vi mode? Regards, Rob. ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
