open-axiom-devel  

Messages by Date

• 2017/04/05 [open-axiom-devel] algebra pamphlet files Bill Page
• 2017/03/22 Re: [open-axiom-devel] [fricas-devel] Re: Algorithmic differentiation Mark Clements
• 2017/03/20 Re: [open-axiom-devel] [fricas-devel] Re: Algorithmic differentiation Bill Page
• 2017/03/20 Re: [open-axiom-devel] [fricas-devel] Re: Algorithmic differentiation Bill Page
• 2017/03/11 Re: [open-axiom-devel] [Axiom-developer] Ad-hoc polymorphism paper Gabriel Dos Reis
• 2017/03/09 Re: [open-axiom-devel] Algorithmic differentiation Mark Clements
• 2017/02/19 Re: [open-axiom-devel] Algorithmic differentiation Gabriel Dos Reis
• 2017/02/19 [open-axiom-devel] Algorithmic differentiation Mark Clements
• 2017/01/25 Re: [open-axiom-devel] [Axiom-developer] Proving Axiom Correct Gabriel Dos Reis
• 2017/01/12 Re: [open-axiom-devel] [Axiom-developer] Proving Axiom Correct Gabriel Dos Reis
• 2016/12/26 Re: [open-axiom-devel] [fricas-devel] repeat map! definition in List makes it much faster Gabriel Dos Reis
• 2016/12/26 Re: [open-axiom-devel] [fricas-devel] IARRAY1 based on PrimitiveArray Gabriel Dos Reis
• 2016/12/26 Re: [open-axiom-devel] New project in OpenAxiom Bill Page
• 2016/12/26 Re: [open-axiom-devel] New project in OpenAxiom Gabriel Dos Reis
• 2016/12/26 [open-axiom-devel] New project in OpenAxiom Bill Page
• 2016/02/19 Re: [open-axiom-devel] qt4 / qt5 Gabriel Dos Reis
• 2016/02/18 Re: [open-axiom-devel] qt4 / qt5 Bill Page
• 2016/02/17 Re: [open-axiom-devel] qt4 / qt5 Gabriel Dos Reis
• 2016/02/15 Re: [open-axiom-devel] qt4 / qt5 Bill Page
• 2016/02/14 Re: [open-axiom-devel] qt4 / qt5 Gabriel Dos Reis
• 2016/02/14 [open-axiom-devel] qt4 / qt5 Bill Page
• 2016/02/01 Re: [open-axiom-devel] compile boot code into a running system Gabriel Dos Reis
• 2016/01/31 Re: [open-axiom-devel] compile boot code into a running system Bill Page
• 2016/01/31 Re: [open-axiom-devel] compile boot code into a running system Gabriel Dos Reis
• 2016/01/31 Re: [open-axiom-devel] compile boot code into a running system Bill Page
• 2016/01/31 Re: [open-axiom-devel] compile boot code into a running system Gabriel Dos Reis
• 2016/01/29 [open-axiom-devel] compile boot code into a running system Bill Page
• 2016/01/24 Re: [open-axiom-devel] Fwd: Bug#778041: open-axiom: ftbfs with GCC-5 Gabriel Dos Reis
• 2016/01/16 Re: [open-axiom-devel] Use of databases during algebra build Bill Page
• 2016/01/16 [open-axiom-devel] Use of databases during algebra build Gabriel Dos Reis
• 2015/12/30 [open-axiom-devel] OpenAxiom trunk now on GitHub Gabriel Dos Reis
• 2015/05/09 Re: [open-axiom-devel] [Axiom-developer] Why proving Axiom correct is important Gabriel Dos Reis
• 2015/02/14 Re: [open-axiom-devel] Fwd: Bug#778041: open-axiom: ftbfs with GCC-5 Gabriel Dos Reis
• 2015/02/12 [open-axiom-devel] Fwd: Bug#778041: open-axiom: ftbfs with GCC-5 Игорь Пашев
• 2015/01/07 Re: [open-axiom-devel] [Axiom-developer] [fricas-devel] documentation standards Gabriel Dos Reis
• 2015/01/07 Re: [open-axiom-devel] [Axiom-developer] [fricas-devel] documentation standards Arthur Ralfs
• 2015/01/07 Re: [open-axiom-devel] [Axiom-developer] [fricas-devel] documentation standards Gabriel Dos Reis
• 2014/12/30 Re: [open-axiom-devel] [fricas-devel] documentation standards Bill Page
• 2014/12/30 Re: [open-axiom-devel] [fricas-devel] documentation standards Eugene Surowitz
• 2014/12/29 Re: [open-axiom-devel] [fricas-devel] documentation standards Bill Page
• 2014/12/29 Re: [open-axiom-devel] [Axiom-developer] [fricas-devel] documentation standards Gabriel Dos Reis
• 2014/12/27 Re: [open-axiom-devel] [fricas-devel] documentation standards Eugene Surowitz
• 2014/12/27 Re: [open-axiom-devel] documenation standards Eugene Surowitz
• 2014/12/27 Re: [open-axiom-devel] [Axiom-developer] Software Checklists and Quality Eugene Surowitz
• 2014/12/24 Re: [open-axiom-devel] [fricas-devel] documentation standards Eugene Surowitz
• 2014/11/29 Re: [open-axiom-devel] GCL on *BSD Gabriel Dos Reis
• 2014/11/27 Re: [open-axiom-devel] GCL on *BSD Aleksej Saushev
• 2014/11/26 Re: [open-axiom-devel] GCL on *BSD Gabriel Dos Reis
• 2014/11/25 Re: [open-axiom-devel] GCL on *BSD Aleksej Saushev
• 2014/11/25 [open-axiom-devel] GCL on *BSD Gabriel Dos Reis
• 2014/10/06 Re: [open-axiom-devel] FTBFS: internal compiler error: in cp_perform_integral_promotions, at cp/typeck.c:2066 Gabriel Dos Reis
• 2014/10/02 Re: [open-axiom-devel] FTBFS: internal compiler error: in cp_perform_integral_promotions, at cp/typeck.c:2066 Игорь Пашев
• 2014/10/01 Re: [open-axiom-devel] FTBFS: internal compiler error: in cp_perform_integral_promotions, at cp/typeck.c:2066 Gabriel Dos Reis
• 2014/09/29 [open-axiom-devel] FTBFS: internal compiler error: in cp_perform_integral_promotions, at cp/typeck.c:2066 Игорь Пашев
• 2014/08/26 Re: [open-axiom-devel] Fix derivative of besselK Gabriel Dos Reis
• 2014/08/22 [open-axiom-devel] Fix derivative of besselK Raoul
• 2014/07/07 Re: [open-axiom-devel] [fricas-devel] Re: overlabel Eugene Surowitz
• 2014/07/07 Re: [open-axiom-devel] [fricas-devel] overlabel Eugene Surowitz
• 2014/06/28 Re: [open-axiom-devel] TexFormat with latex output Eugene Surowitz
• 2014/06/27 Re: [open-axiom-devel] [fricas-devel] TexFormat with latex output Eugene Surowitz
• 2014/05/18 Re: [open-axiom-devel] [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 Gabriel Dos Reis
• 2014/05/18 Re: [open-axiom-devel] [Axiom-developer] open-axiom-1.4.2 cannot be built with sbcl-1.1.18 Gabriel Dos Reis
• 2014/05/02 Re: [open-axiom-devel] [Sbcl-help] Gentoo bug 508990 Gabriel Dos Reis
• 2014/04/30 Re: [open-axiom-devel] (no subject) Gabriel Dos Reis
• 2014/04/29 Re: [open-axiom-devel] (no subject) Andrey G. Grozin
• 2014/04/29 Re: [open-axiom-devel] (no subject) Игорь Пашев
• 2014/04/28 [open-axiom-devel] (no subject) Andrey G. Grozin
• 2013/11/14 [open-axiom-devel] GCL 2.6.10 has been released Camm Maguire
• 2013/09/18 [open-axiom-devel] Version_2_6_10pre Camm Maguire
• 2013/09/06 Re: [open-axiom-devel] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/09/06 [open-axiom-devel] Call for Windows Vista/7 MINGW remote vnc access Camm Maguire
• 2013/09/06 Re: [open-axiom-devel] [Gcl-devel] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/09/06 Re: [open-axiom-devel] [Maxima] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/09/06 Re: [open-axiom-devel] [Maxima] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/08/27 [open-axiom-devel] GCL 2.6.8 and 2.6.9 are released Camm Maguire
• 2013/08/07 Re: [open-axiom-devel] Noweb and literate programming Gabriel Dos Reis
• 2013/08/06 Re: [open-axiom-devel] [fricas-devel] Noweb and literate programming Eugene Surowitz
• 2013/07/11 Re: [open-axiom-devel] #714244 ecl: New upstream release (13.5.1) Gabriel Dos Reis
• 2013/07/06 Re: [open-axiom-devel] Does OA@gcl need gcc during runtime? Gabriel Dos Reis
• 2013/07/04 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/07/04 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/07/04 Re: [open-axiom-devel] Debian package for those who can't wait :-) Gabriel Dos Reis
• 2013/07/03 [open-axiom-devel] Debian package for those who can't wait :-) Игорь Пашев
• 2013/07/01 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/07/01 [open-axiom-devel] GCL on Mac OS X (Mountain Lion) Gabriel Dos Reis
• 2013/07/01 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/06/30 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/06/29 Re: [open-axiom-devel] OA/Clisp [was: New package for Debian (upcoming)] Gabriel Dos Reis
• 2013/06/27 Re: [open-axiom-devel] OA/Clisp [was: New package for Debian (upcoming)] Gabriel Dos Reis
• 2013/06/27 [open-axiom-devel] OA/Clisp [was: New package for Debian (upcoming)] Игорь Пашев
• 2013/06/27 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/06/27 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/06/27 Re: [open-axiom-devel] New package for Debian (upcoming) Игорь Пашев
• 2013/06/26 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/06/26 Re: [open-axiom-devel] New package for Debian (upcoming) Игорь Пашев
• 2013/06/26 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/06/26 Re: [open-axiom-devel] New package for Debian (upcoming) Игорь Пашев
• 2013/06/26 [open-axiom-devel] New package for Debian (upcoming) Игорь Пашев
• 2013/06/26 Re: [open-axiom-devel] New package for Debian (upcoming) Gabriel Dos Reis
• 2013/06/24 [open-axiom-devel] databases simplified Gabriel Dos Reis
• 2013/06/02 [open-axiom-devel] parser no longer dependent on databases Gabriel Dos Reis
• 2013/05/30 Re: [open-axiom-devel] ECL: src/boot/utility.boot: Unmatched right parenthesis Gabriel Dos Reis
• 2013/05/30 Re: [open-axiom-devel] [open-axiom-help] rev2971: build fails with ecl Gabriel Dos Reis
• 2013/05/30 Re: [open-axiom-devel] ECL: src/boot/utility.boot: Unmatched right parenthesis Игорь Пашев
• 2013/05/30 Re: [open-axiom-devel] ECL: src/boot/utility.boot: Unmatched right parenthesis Gabriel Dos Reis
• 2013/05/30 Re: [open-axiom-devel] [open-axiom-help] rev2971: build fails with ecl Gabriel Dos Reis
• 2013/05/30 Re: [open-axiom-devel] GCL: Cannot expand the SETF form (|tableTable| |tbl| |pred|). Gabriel Dos Reis
• 2013/05/30 [open-axiom-devel] ECL: src/boot/utility.boot: Unmatched right parenthesis Игорь Пашев
• 2013/05/30 [open-axiom-devel] GCL: Cannot expand the SETF form (|tableTable| |tbl| |pred|). Игорь Пашев
• 2013/05/30 Re: [open-axiom-devel] ecl supports *features* Gabriel Dos Reis
• 2013/05/30 Re: [open-axiom-devel] ecl supports *features* Игорь Пашев
• 2013/05/30 Re: [open-axiom-devel] ecl supports *features* Gabriel Dos Reis
• 2013/05/30 [open-axiom-devel] ecl supports *features* Игорь Пашев
• 2013/05/20 [open-axiom-devel] attribute shallowlyMutable Gabriel Dos Reis
• 2013/05/20 [open-axiom-devel] Collection and find Gabriel Dos Reis
• 2013/05/19 [open-axiom-devel] Change concerning finite aggregates Gabriel Dos Reis
• 2013/05/19 Re: [open-axiom-devel] [open-axiom-help] "complete 0" is 0 ? Gabriel Dos Reis
• 2013/05/18 [open-axiom-devel] parts from HomogeneousAggregate Gabriel Dos Reis
• 2013/05/17 [open-axiom-devel] Multiset and members Gabriel Dos Reis
• 2013/05/17 [open-axiom-devel] Collection and find Gabriel Dos Reis
• 2013/05/16 Re: [open-axiom-devel] IndexedAggregate is implicitly assumed to be a Waldek Hebisch
• 2013/05/16 Re: [open-axiom-devel] IndexedAggregate is implicitly assumed to be a Gabriel Dos Reis
• 2013/05/16 [open-axiom-devel] IndexedAggregate is implicitly assumed to be a finite aggregate Gabriel Dos Reis
• 2013/05/12 [open-axiom-devel] CFP Synasc 2013, Timisoara, Romania [7 days left for abstract submission] SYNASC 2013
• 2013/05/11 Re: [open-axiom-devel] Arrays and matrices. Gabriel Dos Reis
• 2013/05/09 Re: [open-axiom-devel] Fwd: [mathjax-dev] Requesting feedback about usefulness of MathML Arthur Ralfs
• 2013/05/09 Re: [open-axiom-devel] open-axiom chokes on Legendre polynomial (Debian bug #706813) Gabriel Dos Reis
• 2013/05/08 Re: [open-axiom-devel] open-axiom chokes on Legendre polynomial (Debian bug #706813) Gabriel Dos Reis
• 2013/05/05 [open-axiom-devel] open-axiom chokes on Legendre polynomial (Debian bug #706813) Игорь Пашев
• 2013/04/25 Re: [open-axiom-devel] Bug 92 occurs on Windows XP / SP3 g.vanuxem
• 2013/04/25 Re: [open-axiom-devel] Bug 92 occurs on Windows XP / SP3 Gabriel Dos Reis
• 2013/04/25 Re: [open-axiom-devel] Bug 92 occurs on Windows XP / SP3 g.vanuxem
• 2013/04/25 Re: [open-axiom-devel] [fricas-devel] Re: icons and exprint Eugene Surowitz
• 2013/04/25 Re: [open-axiom-devel] [fricas-devel] Re: icons Bill Page
• 2013/04/25 Re: [open-axiom-devel] [fricas-devel] Re: icons Eugene Surowitz
• 2013/04/25 Re: [open-axiom-devel] Bug 92 occurs on Windows XP / SP3 Gabriel Dos Reis
• 2013/04/25 Re: [open-axiom-devel] Bug 92 Gabriel Dos Reis
• 2013/04/24 [open-axiom-devel] Bug 92 occurs on Windows XP / SP3 Eugene Surowitz
• 2013/04/24 Re: [open-axiom-devel] Download OpenAxiom Gabriel Dos Reis
• 2013/04/24 Re: [open-axiom-devel] Download OpenAxiom Gabriel Dos Reis
• 2013/04/24 Re: [open-axiom-devel] Download OpenAxiom Gabriel Dos Reis
• 2013/04/23 [open-axiom-devel] Download OpenAxiom Eugene Surowitz
• 2013/04/23 Re: [open-axiom-devel] [fricas-devel] Re: trademarks Eugene Surowitz
• 2013/04/14 [open-axiom-devel] Axioms in OpenAxiom Martin Baker
• 2013/04/11 [open-axiom-devel] axiomwiki OpenAxiom version Bill Page
• 2013/04/08 Re: [open-axiom-devel] A question about Axiom capabilities Martin Baker
• 2013/04/06 Re: [open-axiom-devel] A question about Axiom capabilities Gabriel Dos Reis
• 2013/04/06 Re: [open-axiom-devel] A question about Axiom capabilities Martin Baker
• 2013/04/06 Re: [open-axiom-devel] Abstract Vector Algebra Gabriel Dos Reis
• 2013/04/06 Re: [open-axiom-devel] Abstract Vector Algebra Gabriel Dos Reis
• 2013/04/05 [open-axiom-devel] Abstract Vector Algebra Gabriel Dos Reis
• 2013/04/05 Re: [open-axiom-devel] A question about Axiom capabilities Gabriel Dos Reis
• 2013/04/05 Re: [open-axiom-devel] A question about Axiom capabilities Martin Baker
• 2013/04/05 Re: [open-axiom-devel] A question about Axiom capabilities Gabriel Dos Reis
• 2013/04/04 Re: [open-axiom-devel] Changes on thrunk Gabriel Dos Reis
• 2013/04/04 Re: [open-axiom-devel] Changes on thrunk Aleksej Saushev
• 2013/04/03 Re: [open-axiom-devel] Changes on thrunk Игорь Пашев
• 2013/04/03 Re: [open-axiom-devel] Changes on thrunk Gabriel Dos Reis
• 2013/04/03 Re: [open-axiom-devel] Changes on thrunk Aleksej Saushev
• 2013/04/03 Re: [open-axiom-devel] Changes on thrunk Gabriel Dos Reis
• 2013/04/03 Re: [open-axiom-devel] Changes on thrunk Aleksej Saushev
• 2013/04/03 Re: [open-axiom-devel] Changes on thrunk Gabriel Dos Reis
• 2013/04/02 Re: [open-axiom-devel] Changes on thrunk Игорь Пашев
• 2013/04/02 [open-axiom-devel] Changes on thrunk Gabriel Dos Reis
• 2012/11/12 Re: [open-axiom-devel] [Reduce-algebra-developers] Lisp systems... Gabriel Dos Reis
• 2012/10/30 [open-axiom-devel] ECL performance with respect to OpenAxiom Gabriel Dos Reis
• 2012/10/10 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Игорь Пашев
• 2012/10/10 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Gabriel Dos Reis
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Andrey G. Grozin
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Andrey G. Grozin
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Игорь Пашев
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Gabriel Dos Reis
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Игорь Пашев
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Andrey G. Grozin
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Игорь Пашев
• 2012/10/02 Re: [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Gabriel Dos Reis
• 2012/10/02 [open-axiom-devel] SBCL 1.0.55: "ASDF 2 is not compatible with ASDF-BINARY-LOCATIONS, which you are using" Игорь Пашев
• 2012/09/15 Re: [open-axiom-devel] Compiler may not support -m32 / -m64 Gabriel Dos Reis
• 2012/09/15 Re: [open-axiom-devel] Compiler may not support -m32 / -m64 Игорь Пашев
• 2012/09/15 Re: [open-axiom-devel] Compiler may not support -m32 / -m64 Gabriel Dos Reis
• 2012/09/15 Re: [open-axiom-devel] Compiler may not support -m32 / -m64 Gabriel Dos Reis
• 2012/09/15 Re: [open-axiom-devel] Compiler may not support -m32 / -m64 Игорь Пашев
• 2012/09/15 Re: [open-axiom-devel] Compiler may not support -m32 / -m64 Игорь Пашев
• 2012/09/15 Re: [open-axiom-devel] Compiler may not support -m32 / -m64 Gabriel Dos Reis
• 2012/09/15 [open-axiom-devel] Compiler may not support -m32 / -m64 Игорь Пашев
• 2012/08/27 Re: [open-axiom-devel] tab expension Gabriel Dos Reis
• 2012/07/24 [open-axiom-devel] Fixes for no-X11 builds Aleksej Saushev
• 2012/07/13 Re: [open-axiom-devel] [Axiom-developer] installing Axiom on Fedora 16 Gabriel Dos Reis
• 2012/07/09 [open-axiom-devel] Fwd: Hosted Apps Retirement - Clarification and Timeline Update Gabriel Dos Reis
• 2012/06/22 Re: [open-axiom-devel] )abbrev with only 7 characters Gabriel Dos Reis
• 2012/06/22 Re: [open-axiom-devel] )abbrev with only 7 characters Gabriel Dos Reis
• 2012/06/22 Re: [open-axiom-devel] [fricas-devel] Re: )abbrev with only 7 characters Bill Page
• 2012/06/22 Re: [open-axiom-devel] [fricas-devel] Re: )abbrev with only 7 characters Bill Page
• 2012/06/22 Re: [open-axiom-devel] )abbrev with only 7 characters Gabriel Dos Reis
• 2012/06/22 Re: [open-axiom-devel] )abbrev with only 7 characters Gabriel Dos Reis
• 2012/06/12 Re: [open-axiom-devel] GCL and shared libraries Gabriel Dos Reis
• 2012/05/19 Re: [open-axiom-devel] Debian build results Gabriel Dos Reis
• 2012/05/19 Re: [open-axiom-devel] Debian build results Gabriel Dos Reis
• 2012/05/19 Re: [open-axiom-devel] Debian build results Gabriel Dos Reis
• 2012/05/19 Re: [open-axiom-devel] Debian build results Gabriel Dos Reis

• Earlier messages