axiom-developer  

Messages by Date

• 2014/06/03 [Axiom-developer] A minor typo in recent commit ed8841ba daly
• 2014/06/03 [Axiom-developer] Bjarne Stroustrop quote daly
• 2014/06/02 [Axiom-developer] Boot syntax daly
• 2014/05/30 [Axiom-developer] Axiom and proofs daly
• 2014/05/29 Re: [Axiom-developer] Books versus "Tunneling" daly
• 2014/05/27 Re: [Axiom-developer] Computational Mathematics, proofs, and correctness daly
• 2014/05/26 Re: [Axiom-developer] Computational Mathematics, proofs, and correctness daly
• 2014/05/26 Re: [Axiom-developer] Computational Mathematics, proofs, and correctness daly
• 2014/05/26 [Axiom-developer] PVS daly
• 2014/05/26 Re: [Axiom-developer] Computational Mathematics, proofs, and correctness jiazhaoconga
• 2014/05/26 [Axiom-developer] Computational Mathematics, proofs, and correctness daly
• 2014/05/26 Re: [Axiom-developer] Computational Mathematics, proofs, and correctness Waldek Hebisch
• 2014/05/26 Re: [Axiom-developer] Computational Mathematics, proofs, and correctness Martin Baker
• 2014/05/26 [Axiom-developer] Computational Mathematics, proofs, and correctness daly
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Gary Johnson
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Gary Johnson
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Mars0i
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Mars0i
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Tim Daly
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Tim Daly
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Fabio S.
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication dastew
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Ralf Hemmecke
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Fabio S.
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Ralf Hemmecke
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Gregg Reynolds
• 2014/05/22 Re: [Axiom-developer] Heidegger, literate programming, and communication Gregg Reynolds
• 2014/05/21 Re: [Axiom-developer] Heidegger, literate programming, and communication u1204
• 2014/05/21 Re: [Axiom-developer] Heidegger, literate programming, and communication Mars0i
• 2014/05/21 Re: [Axiom-developer] Heidegger, literate programming, and communication Mars0i
• 2014/05/21 [Axiom-developer] Heidegger, literate programming, and communication daly
• 2014/05/20 [Axiom-developer] Nelson Beebe quote daly
• 2014/05/20 [Axiom-developer] documentation daly
• 2014/05/20 Re: [Axiom-developer] Axiom mentioned in an LP talk by Bart Childs John Kitchin
• 2014/05/19 Re: [Axiom-developer] On syntactic coloring of language William Sit
• 2014/05/19 Re: [Axiom-developer] On syntactic coloring of language Ralf Hemmecke
• 2014/05/19 Re: [Axiom-developer] On syntactic coloring of language William Sit
• 2014/05/19 [Axiom-developer] On syntactic coloring of language daly
• 2014/05/18 [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 daly
• 2014/05/18 Re: [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 Gabriel Dos Reis
• 2014/05/18 Re: [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 Gabriel Dos Reis
• 2014/05/18 Re: [Axiom-developer] Axiom mentioned in an LP talk by Bart Childs Martin Baker
• 2014/05/17 [Axiom-developer] Axiom mentioned in an LP talk by Bart Childs daly
• 2014/05/13 [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 daly
• 2014/05/13 [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 Helmut Jarausch
• 2014/05/13 [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 daly
• 2014/05/12 Re: [Axiom-developer] Must hear.... daly
• 2014/05/12 Re: [Axiom-developer] Must hear... Martin Baker
• 2014/05/11 [Axiom-developer] ouch daly
• 2014/05/11 Re: [Axiom-developer] Must hear... Tim Daly
• 2014/05/11 [Axiom-developer] [[email protected]: First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. July 2014)] Tim Daly
• 2014/05/11 Re: [Axiom-developer] Must hear... u1204
• 2014/05/11 Re: [Axiom-developer] Must hear... Martin Baker
• 2014/05/09 [Axiom-developer] Polynomial GCD code daly
• 2014/05/09 [Axiom-developer] Must hear... daly
• 2014/05/09 [Axiom-developer] Must hear... Tim Daly
• 2014/04/10 Re: [Axiom-developer] Category Theory Talk Bill Page
• 2014/04/10 [Axiom-developer] Category Theory Talk daly
• 2014/03/02 Re: [Axiom-developer] Online Documentation broken u1204
• 2014/03/01 Re: [Axiom-developer] Online Documentation broken William Sit
• 2014/03/01 Re: [Axiom-developer] Online Documentation broken u1204
• 2014/03/01 Re: [Axiom-developer] Online Documentation broken Ralf Hemmecke
• 2014/03/01 [Axiom-developer] Online Documentation broken Ralf Hemmecke
• 2014/01/28 [Axiom-developer] Reproducible Research daly
• 2014/01/26 [Axiom-developer] Academy Award goes to a literate program daly
• 2014/01/23 Re: [Axiom-developer] "Sage-type" notebook in a web browser Tim Daly
• 2014/01/22 [Axiom-developer] "Sage-type" notebook in a web browser daly
• 2014/01/22 [Axiom-developer] "Sage-type" notebook in a web browser daly
• 2014/01/22 [Axiom-developer] "Sage-type" notebook in a web browser Alasdair McAndrew
• 2014/01/21 Re: [Axiom-developer] A few issues with a newly compiled axiom Alasdair McAndrew
• 2014/01/20 Re: [Axiom-developer] A few issues with a newly compiled axiom u1204
• 2014/01/20 [Axiom-developer] A few issues with a newly compiled axiom Alasdair McAndrew
• 2013/12/06 [Axiom-developer] [[email protected]: ITP 2015 - Call for Bids] Tim Daly
• 2013/12/05 [Axiom-developer] [[email protected]: CASC 2014: Reminder Call for Papers] Tim Daly
• 2013/11/25 [Axiom-developer] Emacs axiom-environment update Paul Onions
• 2013/11/20 Re: [Axiom-developer] Vim syntax file Tim Daly
• 2013/11/20 Re: [Axiom-developer] Vim syntax file u1204
• 2013/11/20 Re: [Axiom-developer] Vim syntax file u1204
• 2013/11/20 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/20 Re: [Axiom-developer] Vim syntax file u1204
• 2013/11/20 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/19 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/17 Re: [Axiom-developer] Latex and html5 Martin Baker
• 2013/11/17 [Axiom-developer] Latex and html5 daly
• 2013/11/16 Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp Paul Onions
• 2013/11/16 Re: [Axiom-developer] [fricas-devel] Re: bug in books/tangle.lisp Ralf Hemmecke
• 2013/11/16 Re: [Axiom-developer] bug in books/tangle.lisp u1204
• 2013/11/16 Re: [Axiom-developer] bug in books/tangle.lisp u1204
• 2013/11/16 Re: [Axiom-developer] bug in books/tangle.lisp jiazhaoconga
• 2013/11/16 Re: [Axiom-developer] bug in books/tangle.lisp Ralf Hemmecke
• 2013/11/15 Re: [Axiom-developer] bug in books/tangle.lisp jiazhaoconga
• 2013/11/15 Re: [Axiom-developer] bug in books/tangle.lisp Ralf Hemmecke
• 2013/11/15 Re: [Axiom-developer] bug in books/tangle.lisp u1204
• 2013/11/15 [Axiom-developer] bug in books/tangle.lisp jiazhaoconga
• 2013/11/14 Re: [Axiom-developer] Vim syntax file u1204
• 2013/11/14 [Axiom-developer] GCL 2.6.10 has been released Camm Maguire
• 2013/11/14 [Axiom-developer] GCL 2.6.10 has been released Camm Maguire
• 2013/11/13 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/13 Re: [Axiom-developer] [fricas-devel] Re: Vim syntax file Prof. Dr. Grabmeier Johannes
• 2013/11/13 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/13 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/13 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/13 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/13 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/13 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Tim Daly
• 2013/11/12 Re: [Axiom-developer] Vim syntax file u1204
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Tim Daly
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/12 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/11 Re: [Axiom-developer] Vim syntax file Tim Daly
• 2013/11/11 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/11 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/11 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/11 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/10 Re: [Axiom-developer] Vim syntax file Ralf Hemmecke
• 2013/11/10 Re: [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/09 [Axiom-developer] Vim syntax file Fabio S.
• 2013/11/03 Re: [Axiom-developer] Windows u1204
• 2013/10/31 [Axiom-developer] Editing command lines in terminal Fabio S.
• 2013/10/31 [Axiom-developer] Windows Camm Maguire
• 2013/10/30 Re: [Axiom-developer] i can't understand this error Matteo Serventi
• 2013/10/29 Re: [Axiom-developer] i can't understand this error Matteo Serventi
• 2013/10/29 Re: [Axiom-developer] i can't understand this error u1204
• 2013/10/29 Re: [Axiom-developer] i can't understand this error Matteo Serventi
• 2013/10/28 [Axiom-developer] Regression tests Boris Tschirschwitz
• 2013/10/28 [Axiom-developer] failures during build Tim Daly
• 2013/10/28 [Axiom-developer] i can't understand this error Tim Daly
• 2013/10/28 [Axiom-developer] i can't understand this error matteo serventi
• 2013/10/28 Re: [Axiom-developer] About finite fields Ralf Hemmecke
• 2013/10/28 Re: [Axiom-developer] About finite fields Fabio S.
• 2013/10/27 Re: [Axiom-developer] About finite fields Clifton Williamson
• 2013/10/24 [Axiom-developer] About finite fields Fabio S.
• 2013/09/18 [Axiom-developer] Version_2_6_10pre Camm Maguire
• 2013/09/06 Re: [Axiom-developer] [Maxima] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released Leo Butler
• 2013/09/06 Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/09/06 Re: [Axiom-developer] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released Henry Baker
• 2013/09/06 [Axiom-developer] Call for Windows Vista/7 MINGW remote vnc access Camm Maguire
• 2013/09/06 Re: [Axiom-developer] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/09/06 Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/09/06 Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/09/05 Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released John Lapeyre
• 2013/09/04 Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released Donald Winiecki
• 2013/09/04 Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released Matt Kaufmann
• 2013/09/04 Re: [Axiom-developer] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released Henry Baker
• 2013/09/04 Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released Matt Kaufmann
• 2013/09/04 Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released Donald Winiecki
• 2013/09/04 Re: [Axiom-developer] GCL 2.6.8 and 2.6.9 are released Matt Kaufmann
• 2013/09/02 [Axiom-developer] start Aage Andersen
• 2013/09/01 Re: [Axiom-developer] compiling in Axiom Ralf Hemmecke
• 2013/09/01 [Axiom-developer] compiling in Axiom Paul Selick
• 2013/08/28 Re: [Axiom-developer] [Maxima] GCL 2.6.8 and 2.6.9 are released Henry Baker
• 2013/08/27 [Axiom-developer] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/08/06 Re: [Axiom-developer] [fricas-devel] Noweb and literate programming Eugene Surowitz
• 2013/08/05 Re: [Axiom-developer] Axiom build logs u1204
• 2013/08/05 Re: [Axiom-developer] Axiom build logs Camm Maguire
• 2013/08/03 [Axiom-developer] Axiom build logs Tim Daly
• 2013/05/28 Re: [Axiom-developer] final document fix patch and what's next u1204
• 2013/05/09 Re: [Axiom-developer] Fwd: [mathjax-dev] Requesting feedback about usefulness of MathML u1204
• 2013/05/09 Re: [Axiom-developer] Fwd: [mathjax-dev] Requesting feedback about usefulness of MathML Arthur Ralfs
• 2013/04/25 [Axiom-developer] AXIOM pamphlet file format is now pure latex daly
• 2013/04/25 Re: [Axiom-developer] [fricas-devel] Re: icons and exprint Eugene Surowitz
• 2013/04/25 Re: [Axiom-developer] [fricas-devel] Re: icons Bill Page
• 2013/04/25 Re: [Axiom-developer] [fricas-devel] Re: icons Eugene Surowitz
• 2013/04/25 Re: [Axiom-developer] [fricas-devel] Re: trademarks Gabriel Dos Reis
• 2013/04/25 Re: [Axiom-developer] [fricas-devel] Re: trademarks Gabriel Dos Reis
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks u1204
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks u1204
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks u1204
• 2013/04/23 [Axiom-developer] Axiom For Mac Gabriel Gino Vincent
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks Bill Page
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks Waldek Hebisch
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks Waldek Hebisch
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks Eugene Surowitz
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks Ralf Hemmecke
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks Waldek Hebisch
• 2013/04/23 Re: [Axiom-developer] [fricas-devel] Re: trademarks Waldek Hebisch
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks Eugene Surowitz
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks u1204
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks Bill Page
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks Bill Page
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks u1204
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks Eugene Surowitz
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks u1204
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks Bill Page
• 2013/04/22 Re: [Axiom-developer] [fricas-devel] Re: trademarks Eugene Surowitz
• 2013/04/20 [Axiom-developer] /src/interp contains identical files 'libdb.text' and 'temp.text' Eugene Surowitz
• 2013/04/14 [Axiom-developer] Sourceforge Axiom update u1204
• 2013/04/13 [Axiom-developer] Speed of compilation u1204
• 2013/04/01 [Axiom-developer] Higher order derivatives. A.B.
• 2013/03/29 [Axiom-developer] Your Jenks book patch set u1204
• 2013/03/25 Re: [Axiom-developer] how to send a patch u1204
• 2013/03/14 Re: [Axiom-developer] sorry for bothering and a small patch u1204

• Earlier messages
• Later messages