> On October 21, 2006 4:05 PM Camm Maguire wrote: > ... > > Lastly, you all in the axiom world might like to know that I'm about > to release an HOL88 Debian package build atop GCL. In addition to > providing an alternate theorem proving environment, one also has the > ML language built into the same image for potential use by axiom. > More on this later. >
I would like to hear more about how to build Axiom with ML built in to the same image! Thanks. Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
