|
From: Robert D. <rob...@gm...> - 2015-08-31 22:34:44
|
On 2015-08-31, Raymond Toy <toy...@gm...> wrote: > If you handle the build_index.pl side, I can handle the index loading > checks in Maxima. :-) OK. Commit 703637 on master. best Robert Dodier |