Freek sent me the vi mode via private mail: I don't know if it is publicly available anywhere.
Cheers, Joe On Sun, Nov 8, 2015 at 9:32 AM, Rob Arthan <r...@lemma-one.com> wrote: > >> 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. ------------------------------------------------------------------------------ Presto, an open source distributed SQL query engine for big data, initially developed by Facebook, enables you to easily query your data on Hadoop in a more interactive manner. Teradata is also now providing full enterprise support for Presto. Download a free open source copy now. http://pubads.g.doubleclick.net/gampad/clk?id=250295911&iu=/4140 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
