Hello I am just sitting in a talk of Klaus Grue. He is talking about LogiWeb.
http://logiweb.eu/ That seems to be a very interesting project. Ralf _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
