On 2015-04-16, at 17:35, Oleh Krehel <ohwoeo...@gmail.com> wrote: >>> I don't know how to use helm of ivy. But I think the attached patch is >>> better. Would that work with helm and ivy? > > Yes, both work fine.
Just my 2 cents: what about us Icicles users? (Apparently, all two of us, which saddens me...) Best, -- Marcin Borkowski http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski Faculty of Mathematics and Computer Science Adam Mickiewicz University
