open-axiom-devel  

Messages by Thread

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

• Earlier messages
• Later messages