Feel free to delete the CAISS thank-you information. They get thanked on the Axiom home page.
I have no opinion about changing anything on the Wiki provided that any use of "Axiom" actually refers to the Axiom project. I see you've already taken steps to make it clear what system is used. Thank you for that. Tim _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
