[Axiom-developer] Axiom and the ML language built into the same image

[Bill Page]

> 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.