Re: [open-axiom-devel] [fricas-devel] Re: Axiom Wiki and Portal are moving

2007-11-05 Thread Ralf Hemmecke
> About the next axiom workshop: Is there anything planned to coincide > with the upcoming ISSAC meeting (July 2008?) at Risc? No, not coinciding. But there are plans to have a Aldor & Axiom Workshop 2008 during the RISC-Summer at July 24-26, i.e. right after ISSAC. Ralf --

Re: [open-axiom-devel] [fricas-devel] Re: Axiom Wiki and Portal are moving

2007-11-05 Thread Bill Page
On 05 Nov 2007 10:06:09 +0100, Martin Rubey wrote: > Dear Bill, * > > a short answer, since I'm rather busy... > Busy is good. :-) > > > > Perhaps we could also support some standard versions, e.g. > > > > \begin{axiom}[fricas,1.1] > > ... > > \end{axiom} > > > > Here [...] is an optional p

Re: [open-axiom-devel] HyperDoc-Bug

2007-11-05 Thread Ralf Hemmecke
I compiled r216 recently. I don't see the error anymore. Ralf On 11/01/2007 06:35 PM, Gabriel Dos Reis wrote: > Ralf Hemmecke <[EMAIL PROTECTED]> writes: > > | (1) -> > | >> System error: > | The tag SPAD_READER is undefined. > > I believe the patchlet below must fix that. > Committed t

Re: [open-axiom-devel] [fricas-devel] Re: Axiom Wiki and Portal are moving

2007-11-05 Thread Martin Rubey
Dear Bill, * a short answer, since I'm rather busy... > > fixed in Axiom > > fixed in FriCAS > > fixed in OpenAxiom > That is a good suggestion. I think we can easily implement that. [...] > I propose the following syntax: > > \begin{axiom}[open-axiom] > ... > \end{axiom} > > Perhaps