On 16 Dec 2007 11:29:05 -0600, Gabriel Dos Reis wrote: > Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > > | | Anyway now that we can support OpenAxiom on the Axiom Wiki I > | | would like to create some pages specifically to show off some of > | | what is different about OpenAxiom compared to the others. I have > | | a little start at that here: > | | > | | http://axiom-wiki.newsynthesis.org/SandBoxOpenAxiom > | | > | | I would like to expand this, add some useful documentation or > | | references to documentation and then make it a full-fledged "article" > | | page rather than just a "sandbox" page. If you or anyone in your group > | | would like to contribute to this, it would be a great help to me. So > | | far all that I have is what I can follow from your patches and posts > | | to the open-axiom list. > | > | Thanks for doing this. > | > | The error for reify(String) must be a recent regression I introduced > | -- I see some other similar report. I'm investigating. > > Bill, the patch below fixes the failure at the bottom of that page. >
Thanks, Gaby! I've updated the version of OpenAxiom on axiom-wiki and it seems to work as I expected now: http://axiom-wiki.newsynthesis.org/SandBoxOpenAxiom Any chance you could find a some "documentation or references" to help me write something more meaningful about these extensions to OpenAxiom? Regards, Bill Page. ------------------------------------------------------------------------- SF.Net email is sponsored by: Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
