David Billinghurst <[email protected]> writes: > - maxima now built with recent gcl now works, after patches to gcl and maxima
Greetings! Just a heads up, I have a Version_2_6_12pre git branch to address some acl2 performance issues. I'm assuming 2.6.11 is good for you, but if there are changes which need going in, please let me know. Take care, -- Camm Maguire [email protected] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/gcl-devel
