> On 4 Nov 2015, at 05:22, Joe Leslie-Hurd <[email protected]> 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 [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
