On 2013-04-05, Rupert Swarbrick <rswarbrick at gmail.com> wrote:
> I've been convinced that this should be done offline in advance! I'll
> think about it a bit more and post some patches in a few days.
Maybe generate the index and dump it into maxima_objdir the first time
Maxima is launched? I think a one-time delay is OK. Also in case there
are multiple Lisps in sight, maxima_objdir is different for each one.
best
Robert Dodier