Gregory Vanuxem <g.vanu...@orange.fr> writes: | Hello Gaby, | | Sorry for being so late, Christmas preparation and the like.
No need for apology -- I think I understand what it means to be busy, and it is quite understandable that this is no usual time :-) | Le jeudi 18 décembre 2008 à 14:48 -0600, Gabriel Dos Reis a écrit : | | [...] | | > My suspicion is that they knew about it, but did not document the bug | > because it takes some combination of events to exhibit it and they | > carefully write their codes in such way that they don't run into it. | > For example, you need to have `else' or `then' by themselves on a | > line, and you need `single' expressions in at least one branch. | > If you look at the algebra codes, you'll see you don't get those | > combinations :-) Also, the logic was fixed in the interpreter parser. | | Hmm... I hate undocumented bug when they are known! Well, now we have a bug report and explanation of it! :-) [...] | > | That will probably take a while, won't it? | > | > Yes, it certainly takes some amount of work and I'll use all the help | > I can get :-) | | Like everywhere. I would be glad to help, and be sure that if I can I | will, but I have to admit that I do not have a lot of time actually. So | usually I perform several checks (build OpenAxiom, compiles several Spad | files that I own, use it, and report any bug that I find). Moreover I'm | intimidated by theories that gouvern your work, I need time to document | myself since I'm somewhat a newbie in logic behind computational | algebraic mathematics. bug reports are very useful, and the more the better (for me bug hunter, not for the user :-/) and I appreciate your reports. Alfredo is working on HyperDoc, and I hope I'll find some time to help him finish reorganizing the C code (he has already done quite a very good job). Please don't let theories intimidate you as far as OpenAxiom is concerned: I highly value useful executable and running codes over inexecutable abstract nonsenses :-) | Many thanks Gaby and keep up the good work! You're most welcome. -- Gaby ------------------------------------------------------------------------------ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
