axiom-developer
[Top][All Lists]
Advanced

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

Re: [Axiom-developer] B#


From: Gabriel Dos Reis
Subject: Re: [Axiom-developer] B#
Date: 22 Mar 2006 23:59:57 +0100

root <address@hidden> writes:

| Bill's interest in B-natural could easily be grounded in BOOT code.

Tim,

  Where is BOOT documented?

I believe I can understand some BOOT codes; but, it is better to be sure
than to guess :-)

-- Gaby




reply via email to

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