This is the same as bug #165 and #196. I'll add it there. Would be great if you could fix that :-)
Martin Kai Kaminski writes: > > Hi everyone, > > I'm currently rebuilding parts of the HyperDoc documentation. One page > (ug06.[p]ht) contains the following commands: > > addx x == ((y: Integer): Integer +-> x + y) > > g := addx 10 > > When I enter those commands at the Axiom toplevel, Axiom crashes due > to a segmentation fault. I'm using version 3.8 (patch-43) freshly > built on Ubuntu 5.04. I'm pretty sure that I haven't modified the > source code prior to compiling it, but I'll rebuild it to be sure, if > noone else has this problem. > > Thanks, > Kai > > > _______________________________________________ > Axiom-developer mailing list > Axiom-developer@nongnu.org > http://lists.nongnu.org/mailman/listinfo/axiom-developer _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer