open-axiom-devel  

Messages by Date

• 2012/05/19 Re: [open-axiom-devel] Debian build results Gabriel Dos Reis
• 2012/05/19 Re: [open-axiom-devel] Debian build results Игорь Пашев
• 2012/05/19 Re: [open-axiom-devel] Debian build results Игорь Пашев
• 2012/05/19 Re: [open-axiom-devel] Debian build results Игорь Пашев
• 2012/05/19 [open-axiom-devel] Debian build results Игорь Пашев
• 2012/04/22 Re: [open-axiom-devel] [fricas-devel] axiom-wiki: PanAxiom or separate project pages? Waldek Hebisch
• 2012/04/21 [open-axiom-devel] axiom-wiki: PanAxiom or separate project pages? Ralf Hemmecke
• 2012/03/28 Re: [open-axiom-devel] NetBSD patch for src/lisp/core.lisp.in Gabriel Dos Reis
• 2012/03/28 Re: [open-axiom-devel] NetBSD patch for src/lisp/core.lisp.in Aleksej Saushev
• 2012/03/27 [open-axiom-devel] NetBSD patch for src/lisp/core.lisp.in Gabriel Dos Reis
• 2012/03/12 Re: [open-axiom-devel] choosing coercion Gabriel Dos Reis
• 2012/03/12 Re: [open-axiom-devel] Windows binary - Latest version - Error 3 Gabriel Dos Reis
• 2012/03/12 Re: [open-axiom-devel] Windows binary - Latest version - Error 3 Gregory Vanuxem
• 2012/03/12 Re: [open-axiom-devel] Windows binary - Latest version - Error 3 Gregory Vanuxem
• 2012/03/12 [open-axiom-devel] Windows binary - Latest version - Error 3 Gregory Vanuxem
• 2012/03/06 Re: [open-axiom-devel] record field overloading Gabriel Dos Reis
• 2012/02/22 Re: [open-axiom-devel] record selector Gabriel Dos Reis
• 2012/02/21 Re: [open-axiom-devel] record selector Gabriel Dos Reis
• 2012/02/21 Re: [open-axiom-devel] record selector Gabriel Dos Reis
• 2012/02/17 [open-axiom-devel] CICM 2012: Last Call for Papers Gabriel Dos Reis
• 2012/02/14 Re: [open-axiom-devel] setting a record Gabriel Dos Reis
• 2012/02/14 Re: [open-axiom-devel] record selector Gabriel Dos Reis
• 2012/02/07 Re: [open-axiom-devel] String vs List Gabriel Dos Reis
• 2012/01/30 Re: [open-axiom-devel] newLine : Character Gabriel Dos Reis
• 2012/01/19 Re: [open-axiom-devel] Rep as language feature or convention Gabriel Dos Reis
• 2012/01/19 Re: [open-axiom-devel] [fricas-devel] Re: Rep as language feature or convention Bill Page
• 2012/01/19 Re: [open-axiom-devel] Rep as language feature or convention Gabriel Dos Reis
• 2012/01/19 Re: [open-axiom-devel] Rep as language feature or convention Gabriel Dos Reis
• 2012/01/17 Re: [open-axiom-devel] parametrized macros in SPAD? Gabriel Dos Reis
• 2012/01/17 Re: [open-axiom-devel] [fricas-devel] Re: parametrized macros in SPAD? Waldek Hebisch
• 2012/01/17 Re: [open-axiom-devel] parametrized macros in SPAD? Gabriel Dos Reis
• 2012/01/17 Re: [open-axiom-devel] [fricas-devel] Re: parametrized macros in SPAD? Waldek Hebisch
• 2012/01/17 Re: [open-axiom-devel] parametrized macros in SPAD? Gabriel Dos Reis
• 2012/01/16 Re: [open-axiom-devel] bug? Gabriel Dos Reis
• 2012/01/16 Re: [open-axiom-devel] [fricas-devel] Re: abort on missing functions Waldek Hebisch
• 2012/01/14 Re: [open-axiom-devel] abort on missing functions Gabriel Dos Reis
• 2012/01/14 Re: [open-axiom-devel] [fricas-devel] Re: abort on missing functions Waldek Hebisch
• 2012/01/14 Re: [open-axiom-devel] abort on missing functions Gabriel Dos Reis
• 2012/01/14 Re: [open-axiom-devel] abort on missing functions Gabriel Dos Reis
• 2012/01/14 Re: [open-axiom-devel] abort on missing functions Gabriel Dos Reis
• 2012/01/14 Re: [open-axiom-devel] parametrized macros in SPAD? Gabriel Dos Reis
• 2012/01/14 Re: [open-axiom-devel] Constants in AXIOMs Gabriel Dos Reis
• 2012/01/13 [open-axiom-devel] Constants in AXIOMs Gabriel Dos Reis
• 2012/01/09 [open-axiom-devel] CICM 2012: Second call for paper Gabriel Dos Reis
• 2012/01/07 Re: [open-axiom-devel] [fricas-devel] Re: conditional exports and aldor compilation Waldek Hebisch
• 2012/01/07 Re: [open-axiom-devel] conditional exports and aldor compilation Gabriel Dos Reis
• 2012/01/07 Re: [open-axiom-devel] conditional exports and aldor compilation Gabriel Dos Reis
• 2011/12/09 Re: [open-axiom-devel] recompilation of boot function Gabriel Dos Reis
• 2011/12/05 Re: [open-axiom-devel] this domain % Gabriel Dos Reis
• 2011/12/05 Re: [open-axiom-devel] [fricas-devel] Re: this domain % Bill Page
• 2011/12/05 Re: [open-axiom-devel] [fricas-devel] Re: this domain % Gabriel Dos Reis
• 2011/12/05 Re: [open-axiom-devel] [fricas-devel] Re: this domain % Bill Page
• 2011/12/02 Re: [open-axiom-devel] [fricas-devel] this domain % Bill Page
• 2011/12/01 Re: [open-axiom-devel] [fricas-devel] this domain % Bill Page
• 2011/11/21 Re: [open-axiom-devel] [fricas-devel] this domain % Gabriel Dos Reis
• 2011/11/16 Re: [open-axiom-devel] [fricas-devel] Re: functors and categories Bill Page
• 2011/11/15 Re: [open-axiom-devel] [fricas-devel] Re: functors and categories Gabriel Dos Reis
• 2011/11/15 [open-axiom-devel] this domain % Bill Page
• 2011/11/13 Re: [open-axiom-devel] Failed to build with CLisp 2.49 Gabriel Dos Reis
• 2011/11/13 Re: [open-axiom-devel] Failed to build with CLisp 2.49 Игорь Пашев
• 2011/11/13 Re: [open-axiom-devel] Failed to build with CLisp 2.49 Gabriel Dos Reis
• 2011/11/13 Re: [open-axiom-devel] Failed to build with CLisp 2.49 Gabriel Dos Reis
• 2011/11/13 Re: [open-axiom-devel] Failed to build with CLisp 2.49 Alfredo Portes
• 2011/11/13 Re: [open-axiom-devel] Failed to build with CLisp 2.49 Gabriel Dos Reis
• 2011/11/13 Re: [open-axiom-devel] Failed to build with CLisp 2.49 Alfredo Portes
• 2011/11/13 [open-axiom-devel] Failed to build with CLisp 2.49 Игорь Пашев
• 2011/11/13 Re: [open-axiom-devel] error: 'struct OpenAxiom::Memory::Storage' has no member named 'at_offset' Gabriel Dos Reis
• 2011/11/11 [open-axiom-devel] Constructors Gabriel Dos Reis
• 2011/11/11 Re: [open-axiom-devel] Monads in FriCAS Bill Page
• 2011/11/10 Re: [open-axiom-devel] Monads in FriCAS Gabriel Dos Reis
• 2011/11/10 Re: [open-axiom-devel] [fricas-devel] Re: Monads in FriCAS Gabriel Dos Reis
• 2011/11/10 Re: [open-axiom-devel] Monads in FriCAS Gabriel Dos Reis
• 2011/11/09 Re: [open-axiom-devel] Spad \ Haskell Gabriel Dos Reis
• 2011/11/09 Re: [open-axiom-devel] Monads in FriCAS Bill Page
• 2011/11/09 Re: [open-axiom-devel] Monads in FriCAS Gabriel Dos Reis
• 2011/11/09 Re: [open-axiom-devel] [fricas-devel] Re: Monads in FriCAS Bill Page
• 2011/11/09 Re: [open-axiom-devel] [fricas-devel] Re: Monads in FriCAS Gabriel Dos Reis
• 2011/11/09 Re: [open-axiom-devel] [fricas-devel] Re: Monads in FriCAS Bill Page
• 2011/11/09 Re: [open-axiom-devel] [fricas-devel] Re: Monads in FriCAS Gabriel Dos Reis
• 2011/11/09 Re: [open-axiom-devel] on Axiom book Gabriel Dos Reis
• 2011/11/09 Re: [open-axiom-devel] [fricas-devel] on Axiom book Alfredo Portes
• 2011/11/08 Re: [open-axiom-devel] Constructors Gabriel Dos Reis
• 2011/11/08 Re: [open-axiom-devel] Constructors Bill Page
• 2011/11/08 Re: [open-axiom-devel] [fricas-devel] Re: Monads in FriCAS Bill Page
• 2011/11/08 Re: [open-axiom-devel] Constructors Gabriel Dos Reis
• 2011/11/08 Re: [open-axiom-devel] [fricas-devel] Constructors Bill Page
• 2011/11/08 [open-axiom-devel] Constructors Gabriel Dos Reis
• 2011/11/08 Re: [open-axiom-devel] Monads in FriCAS Gabriel Dos Reis
• 2011/11/06 Re: [open-axiom-devel] Syntax changes Gabriel Dos Reis
• 2011/11/05 Re: [open-axiom-devel] [fricas-devel] Re: Syntax changes Waldek Hebisch
• 2011/11/05 Re: [open-axiom-devel] [fricas-devel] Re: Syntax changes Alfredo Portes
• 2011/11/04 Re: [open-axiom-devel] Syntax changes Gabriel Dos Reis
• 2011/11/03 Re: [open-axiom-devel] multiple inheritance rules Gabriel Dos Reis
• 2011/10/27 Re: [open-axiom-devel] [fricas-devel] Re: Changes to Product domain Waldek Hebisch
• 2011/10/27 Re: [open-axiom-devel] Changes to Product domain Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] constants and overload resolution Bill Page
• 2011/10/24 Re: [open-axiom-devel] constants and overload resolution Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] Re: constants and overload resolution Bill Page
• 2011/10/24 Re: [open-axiom-devel] constants and overload resolution Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] Re: constants and overload resolution Bill Page
• 2011/10/24 Re: [open-axiom-devel] constants and overload resolution Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] constants and overload resolution Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] constants and overload resolution Bill Page
• 2011/10/24 [open-axiom-devel] constants and overload resolution Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] ModMonic and the Rep voodoo Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] ModMonic and the Rep voodoo Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] ModMonic and the Rep voodoo Waldek Hebisch
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] ModMonic and the Rep voodoo Waldek Hebisch
• 2011/10/24 Re: [open-axiom-devel] ModMonic and the Rep voodoo Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] ModMonic and the Rep voodoo Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] ModMonic and the Rep voodoo Waldek Hebisch
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] ModMonic and the Rep voodoo Bill Page
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] ModMonic and the Rep voodoo Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] ModMonic and the Rep voodoo Waldek Hebisch
• 2011/10/24 Re: [open-axiom-devel] ModMonic and the Rep voodoo Gabriel Dos Reis
• 2011/10/24 Re: [open-axiom-devel] [fricas-devel] ModMonic and the Rep voodoo Bill Page
• 2011/10/24 [open-axiom-devel] ModMonic and the Rep voodoo Gabriel Dos Reis
• 2011/10/23 Re: [open-axiom-devel] PropositionalFormula and CCC Martin Baker
• 2011/10/22 Re: [open-axiom-devel] Changes to Product domain Gabriel Dos Reis
• 2011/10/22 Re: [open-axiom-devel] PropositionalFormula and CCC Gabriel Dos Reis
• 2011/10/22 [open-axiom-devel] PropositionalFormula and CCC Martin Baker
• 2011/10/20 [open-axiom-devel] Kernel documentation Martin Baker
• 2011/10/19 Re: [open-axiom-devel] [fricas-devel] Re: converting propositional logic from OpenAxiom Waldek Hebisch
• 2011/10/19 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/19 Re: [open-axiom-devel] [fricas-devel] Re: converting propositional logic from OpenAxiom Waldek Hebisch
• 2011/10/18 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Martin Baker
• 2011/10/18 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/18 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Martin Baker
• 2011/10/17 Re: [open-axiom-devel] while vs. until Gabriel Dos Reis
• 2011/10/17 Re: [open-axiom-devel] while vs. until Gabriel Dos Reis
• 2011/10/16 Re: [open-axiom-devel] Bootsys and Depsys history Gabriel Dos Reis
• 2011/10/16 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/15 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/15 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Martin Baker
• 2011/10/14 Re: [open-axiom-devel] [fricas-devel] Re: converting propositional logic from OpenAxiom Martin Baker
• 2011/10/13 Re: [open-axiom-devel] [fricas-devel] Re: converting propositional logic from OpenAxiom Waldek Hebisch
• 2011/10/13 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/13 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Martin Baker
• 2011/10/13 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/13 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Martin Baker
• 2011/10/12 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/12 Re: [open-axiom-devel] converting propositional logic from OpenAxiom Gabriel Dos Reis
• 2011/10/10 Re: [open-axiom-devel] Computation Framework - Curry-Howard Part 2 Gabriel Dos Reis
• 2011/10/10 Re: [open-axiom-devel] Computation Framework - Curry-Howard Part 2 Gabriel Dos Reis
• 2011/09/05 Re: [open-axiom-devel] contrib/ licences Igor Pashev
• 2011/09/05 Re: [open-axiom-devel] contrib/ licences Gabriel Dos Reis
• 2011/09/05 Re: [open-axiom-devel] contrib/ licences Igor Pashev
• 2011/09/05 Re: [open-axiom-devel] contrib/ licences Gabriel Dos Reis
• 2011/09/05 Re: [open-axiom-devel] contrib/ licences Igor Pashev
• 2011/09/04 [open-axiom-devel] contrib/ licences Gabriel Dos Reis
• 2011/09/04 Re: [open-axiom-devel] error: 'struct OpenAxiom::Memory::Storage' has no member named 'at_offset' Gabriel Dos Reis
• 2011/09/03 [open-axiom-devel] error: 'struct OpenAxiom::Memory::Storage' has no member named 'at_offset' Igor Pashev
• 2011/09/03 Re: [open-axiom-devel] Usage of src/include/xpm.h Gabriel Dos Reis
• 2011/09/03 Re: [open-axiom-devel] Usage of src/include/xpm.h Игорь Пашев
• 2011/09/02 Re: [open-axiom-devel] Usage of src/include/xpm.h Gabriel Dos Reis
• 2011/09/02 Re: [open-axiom-devel] Usage of src/include/xpm.h Игорь Пашев
• 2011/09/02 Re: [open-axiom-devel] Usage of src/include/xpm.h Gabriel Dos Reis
• 2011/09/02 [open-axiom-devel] Usage of src/include/xpm.h Игорь Пашев
• 2011/08/28 Re: [open-axiom-devel] unusual-interpreter usr/lib/open-axiom/algebra/ZMOD.fasl Игорь Пашев
• 2011/08/28 Re: [open-axiom-devel] unusual-interpreter usr/lib/open-axiom/algebra/ZMOD.fasl Gabriel Dos Reis
• 2011/08/28 Re: [open-axiom-devel] unusual-interpreter usr/lib/open-axiom/algebra/ZMOD.fasl Игорь Пашев
• 2011/08/28 Re: [open-axiom-devel] (HyperDoc) Couldn't connect to OpenAxiom server! Gabriel Dos Reis
• 2011/08/28 [open-axiom-devel] (HyperDoc) Couldn't connect to OpenAxiom server! Игорь Пашев
• 2011/08/26 Re: [open-axiom-devel] unusual-interpreter usr/lib/open-axiom/algebra/ZMOD.fasl Gabriel Dos Reis
• 2011/08/26 [open-axiom-devel] unusual-interpreter usr/lib/open-axiom/algebra/ZMOD.fasl Игорь Пашев
• 2011/08/22 [open-axiom-devel] debian port Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] [fricas-devel] Categories are predicates Bill Page
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] [fricas-devel] Re: What can be done with types as first-class objects? Bill Page
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Bill Page
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Bill Page
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Bill Page
• 2011/08/19 Re: [open-axiom-devel] What can be done with types as first-class objects? Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] [fricas-devel] Re: What can be done with types as first-class objects? Bill Page
• 2011/08/19 Re: [open-axiom-devel] [fricas-devel] Re: What can be done with types as first-class objects? Bill Page
• 2011/08/19 [open-axiom-devel] Categories are predicates Gabriel Dos Reis
• 2011/08/19 Re: [open-axiom-devel] [fricas-devel] Re: What can be done with types as first-class objects? Bill Page
• 2011/08/17 [open-axiom-devel] Spad categories and Haskell type classes Gabriel Dos Reis
• 2011/08/10 [open-axiom-devel] Integer and ConvertibleTo String Gabriel Dos Reis
• 2011/07/09 [open-axiom-devel] OpenAxiom 1.4.1 released Gabriel Dos Reis
• 2011/07/05 [open-axiom-devel] Planning 1.4.1 release Gabriel Dos Reis
• 2011/06/26 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Игорь Пашев
• 2011/06/25 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Gabriel Dos Reis
• 2011/06/25 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Игорь Пашев
• 2011/06/25 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Gabriel Dos Reis
• 2011/06/25 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Игорь Пашев
• 2011/06/24 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Gabriel Dos Reis
• 2011/06/23 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Gabriel Dos Reis
• 2011/06/23 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Игорь Пашев
• 2011/06/23 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Gabriel Dos Reis
• 2011/06/23 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Игорь Пашев
• 2011/06/23 Re: [open-axiom-devel] Check for HyperDoc and others at runtime Waldek Hebisch
• 2011/06/23 [open-axiom-devel] Check for HyperDoc and others at runtime Игорь Пашев
• 2011/06/20 Re: [open-axiom-devel] computation framework Gabriel Dos Reis
• 2011/06/20 Re: [open-axiom-devel] [fricas-devel] Re: computation framework Martin Baker

• Earlier messages
• Later messages