Re: [Axiom-developer] B natural

2006-06-06 Thread Gabriel Dos Reis
On Mon, 5 Jun 2006, Martin Rubey wrote: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > On Mon, 5 Jun 2006, Martin Rubey wrote: | > | > | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | > | | > | > Also, I have been looking for the a formal grammar description of SPAD. | > | > Where can I find

Re: [Axiom-developer] B natural

2006-06-06 Thread Antoine Hersen
Hello,On 6/5/06, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: On Mon, 5 Jun 2006, Martin Rubey wrote:| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:|| > Also, I have been looking for the a formal grammar description of SPAD. | > Where can I find it?  The AXIOM book seems silent about it|| Forget

ALLPROSE was: Re: [Axiom-developer] Re: patch for coercePreImagaesImages in perm.spad.pamphlet

2006-06-06 Thread Ralf Hemmecke
We really should switch to using ALLPROSE, it's MUCH better than the current pamphlet stuff. Thank you, Martin, for pushing this. augh. perhaps if/when we switch to an open source aldor. i'd rather not take another 6 months away from my current work just to recode the system into a different