"Bill Page" <[EMAIL PROTECTED]> writes: | On 25 Nov 2007 23:09:03 -0600, Gabriel Dos Reis wrote: | > | > Bye bye depsys. | > Tested on an x86_64-suse-linux. | > Applied to mainline. | | Gaby, | | Congratulations on achieving this important milestone! Although I have | been mostly silent, I have been reading and watching your steady | progess toward rationalizing the use of BOOT and SPAD in OpenAxiom.
Thanks. | > Now, we can move on rationalizing some of the codes. | > | | Excellent. | | When you have a moment to spare ... :-) I think it would be great to | see a brief roadmap of where OpenAxiom is going in the immediate | future. immediate like `this week', `next week', `next month', `next year', ...? I would like to improve the UI for OpenAxiom-1.1.0 and incorporate some work I have been doing with new algebras. Fix some of the embarassing bugs. The existing code base seems to be at `bug equilibrium': If you fix one serious bug, you get 10 backs. So progress is slow. I was hoping to release OpenAxiom-1.1.0 before going on holidays, but it is more likely that the release will happening early next year. OpenAxiom needs a `user guide'. There are tons of improvements I would like to work on, but I always face the Lisp non-portability wall. Hopefully, some work on OpenAxiom VM will start early next year. Some people here have been exploring proof assistant+OpenAxiom, or `indefinite' in OpenAxiom, or `OpenAxiom -> C++' translation. I hope to see some of those become part of the official OpenAxiom distribution next year. I have been reminded of the pressing issue of `foreign interface' for extending/linking to other worlds. -- Gaby ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2005. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
