axiom-mail
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-mail] noweb


From: Gabriel Dos Reis
Subject: [Axiom-mail] noweb
Date: 03 Aug 2006 01:57:39 +0200

Hi Tim,

  What is the status of noweb with respect to Axiom installation?
That is, noweb is built solely to permit extraction of source code and
documentation. Is the built binary ever intended to be installed when
Axiom is installed?  Can I for sure assume that it is a build utility
only? 

Thanks,

-- Gaby




reply via email to

[Prev in Thread] Current Thread [Next in Thread]