21 Sep
2005
21 Sep
'05
2:05 p.m.
--- Peder Holt wrote:
Definitely an improvement.
Perhaps it would be a good idea to move the entire metamath/double implementation to the mpl/math directory?
Indeed. The question now is where main development should continue: the Sandbox CVS or the Boost Vault <http://boost-consulting.com/vault/>. Cromwell D. Enage __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com