Messages by Date
-
2014/07/24
[Axiom-developer] Couldn't protect
daly
-
2014/07/24
[Axiom-developer] Axiom on the Mac works
daly
-
2014/07/22
Re: [Axiom-developer] gcl makefile tries to create a file in /usr/local/axiom
Camm Maguire
-
2014/07/22
[Axiom-developer] gcl makefile tries to create a file in /usr/local/axiom
daly
-
2014/07/22
[Axiom-developer] Library of Constructive Mathematics
daly
-
2014/07/22
Re: [Axiom-developer] GCL cygwin Axiom build
daly
-
2014/07/22
Re: [Axiom-developer] GCL cygwin Axiom build
Camm Maguire
-
2014/07/21
[Axiom-developer] GCL cygwin Axiom build
daly
-
2014/07/21
[Axiom-developer] 2.6.11, Axiom and macosx [ was Re: fast-linking and conservative gc]
Camm Maguire
-
2014/07/21
[Axiom-developer] GCL images and prelink
Camm Maguire
-
2014/07/21
Re: [Axiom-developer] MACOSX
Camm Maguire
-
2014/07/21
Re: [Axiom-developer] GCL
Camm Maguire
-
2014/07/20
[Axiom-developer] GCL
daly
-
2014/07/17
Re: [Axiom-developer] [Mayhem] Bug report on axiom-graphics: view2d crashes with exit status 139
u1204
-
2014/07/17
Re: [Axiom-developer] fast-linking and conservative gc
u1204
-
2014/07/17
Re: [Axiom-developer] MACOSX
Camm Maguire
-
2014/07/17
Re: [Axiom-developer] [Mayhem] Bug report on axiom-graphics: view2d crashes with exit status 139
David Brumley
-
2014/07/17
Re: [Axiom-developer] solaris
Camm Maguire
-
2014/07/17
Re: [Axiom-developer] Bug#716442: [Mayhem] Bug report on axiom-graphics: view2d crashes with exit status 139
Camm Maguire
-
2014/07/17
Re: [Axiom-developer] 2.6.11pre
Camm Maguire
-
2014/07/17
Re: [Axiom-developer] [Mayhem] Bug report on axiom-graphics: view2d crashes with exit status 139
Camm Maguire
-
2014/07/17
Re: [Axiom-developer] fast-linking and conservative gc
Camm Maguire
-
2014/07/17
[Axiom-developer] mac
Camm Maguire
-
2014/07/17
Re: [Axiom-developer] [Mayhem] Bug report on axiom-graphics: view2d crashes with exit status 139
Tim Daly
-
2014/07/17
Re: [Axiom-developer] Bug#752221: [axiom] Some sources are not included in your package
u1204
-
2014/07/17
Re: [Axiom-developer] fast-linking and conservative gc
u1204
-
2014/07/16
[Axiom-developer] 2.6.11pre
daly
-
2014/07/16
Re: [Axiom-developer] MACOSX
daly
-
2014/07/16
Re: [Axiom-developer] [Mayhem] Bug report on axiom-graphics: view2d crashes with exit status 139
u1204
-
2014/07/16
Re: [Axiom-developer] regression tests
u1204
-
2014/07/16
Re: [Axiom-developer] MACOSX
Camm Maguire
-
2014/07/16
Re: [Axiom-developer] solaris
u1204
-
2014/07/16
Re: [Axiom-developer] MACOSX
u1204
-
2014/07/16
[Axiom-developer] [Mayhem] Bug report on axiom-hypertex: htadd crashes with exit status 139
Camm Maguire
-
2014/07/16
[Axiom-developer] [Mayhem] Bug report on axiom: sman crashes with exit status 139
Camm Maguire
-
2014/07/16
[Axiom-developer] [Mayhem] Bug report on axiom-graphics: view2d crashes with exit status 139
Camm Maguire
-
2014/07/16
[Axiom-developer] regression tests
Camm Maguire
-
2014/07/16
Re: [Axiom-developer] Bug#752221: [axiom] Some sources are not included in your package
Camm Maguire
-
2014/07/16
[Axiom-developer] solaris
Camm Maguire
-
2014/07/16
[Axiom-developer] MACOSX
Camm Maguire
-
2014/07/15
Re: [Axiom-developer] GCL version on Axiom
daly
-
2014/07/15
[Axiom-developer] GCL version on Axiom
Sarvagnan
-
2014/07/14
[Axiom-developer] cl-notebook, common lisp, and literate programming
daly
-
2014/07/13
Re: [Axiom-developer] 2.6.10
u1204
-
2014/07/11
[Axiom-developer] 2.6.10
Camm Maguire
-
2014/07/11
[Axiom-developer] 2.6.10
Camm Maguire
-
2014/07/11
Re: [Axiom-developer] Failure when building interpreter files
Camm Maguire
-
2014/07/11
Re: [Axiom-developer] mail bouncing
Camm Maguire
-
2014/07/11
[Axiom-developer] mail bouncing
daly
-
2014/07/10
[Axiom-developer] axiom mac build instructions
daly
-
2014/07/10
[Axiom-developer] axiom mac build instructions
daly
-
2014/07/07
Re: [Axiom-developer] [fricas-devel] Re: overlabel
Ralf Hemmecke
-
2014/07/07
Re: [Axiom-developer] overlabel
daly
-
2014/07/07
Re: [Axiom-developer] [fricas-devel] Re: overlabel
Eugene Surowitz
-
2014/07/07
Re: [Axiom-developer] overlabel
Ralf Hemmecke
-
2014/07/07
[Axiom-developer] overlabel
daly
-
2014/07/07
Re: [Axiom-developer] Failure when building interpreter files
Tim Daly
-
2014/07/07
Re: [Axiom-developer] [fricas-devel] overlabel
Eugene Surowitz
-
2014/07/06
Re: [Axiom-developer] Failure when building interpreter files
daly
-
2014/07/06
Re: [Axiom-developer] libgmp not found
Raoul
-
2014/07/06
[Axiom-developer] Failure when building interpreter files
Raoul
-
2014/07/06
Re: [Axiom-developer] libgmp not found
daly
-
2014/07/06
Re: [Axiom-developer] libgmp not found
Raoul
-
2014/07/03
[Axiom-developer] GCL 2.6.10 bug? -- fixed
daly
-
2014/07/03
[Axiom-developer] Proving Axiom correct
daly
-
2014/07/02
[Axiom-developer] GCL 2.6.10 and Axiom on Ubuntu
daly
-
2014/07/02
[Axiom-developer] GCL 2.6.10 and Axiom on a MAC
daly
-
2014/07/02
[Axiom-developer] stream_at_end EOF diff -Naur patch
daly
-
2014/07/01
[Axiom-developer] gcl 2.6.10 builds ok
daly
-
2014/07/01
[Axiom-developer] gcl mac build failure
u1204
-
2014/07/01
[Axiom-developer] console2.6.8
u1204
-
2014/07/01
Re: [Axiom-developer] mac access
Camm Maguire
-
2014/06/30
Re: [Axiom-developer] Hash problems
Camm Maguire
-
2014/06/30
[Axiom-developer] mac access
Camm Maguire
-
2014/06/30
Re: [Axiom-developer] libgmp not found
Raoul
-
2014/06/30
Re: [Axiom-developer] libgmp not found
Raoul
-
2014/06/30
Re: [Axiom-developer] Axiom on Max OS X 10.9.3
Gabriel Dos Reis
-
2014/06/30
Re: [Axiom-developer] Axiom on Max OS X 10.9.3
Gabriel Dos Reis
-
2014/06/30
Re: [Axiom-developer] Axiom on Max OS X 10.9.3
Sarvagnan
-
2014/06/29
Re: [Axiom-developer] libgmp not found
daly
-
2014/06/29
Re: [Axiom-developer] libgmp not found
Camm Maguire
-
2014/06/29
Re: [Axiom-developer] DynamicRealClosure
Raoul
-
2014/06/29
[Axiom-developer] libgmp not found
Raoul
-
2014/06/29
[Axiom-developer] libgmp not found
Raoul
-
2014/06/29
[Axiom-developer] FOC
daly
-
2014/06/29
Re: [Axiom-developer] book.pdf
daly
-
2014/06/29
[Axiom-developer] DynamicRealClosure
daly
-
2014/06/29
[Axiom-developer] FOC project papers and results
daly
-
2014/06/29
Re: [Axiom-developer] Axiom on Max OS X 10.9.3
Gabriel Dos Reis
-
2014/06/29
Re: [Axiom-developer] book.pdf
Ralf Hemmecke
-
2014/06/29
[Axiom-developer] book.pdf
daly
-
2014/06/29
Re: [Axiom-developer] TexFormat with latex output
Ralf Hemmecke
-
2014/06/29
Re: [Axiom-developer] [fricas-devel] TexFormat with latex output
Ralf Hemmecke
-
2014/06/29
[Axiom-developer] extrat.pdf
daly
-
2014/06/29
[Axiom-developer] (no subject)
daly
-
2014/06/29
Re: [Axiom-developer] TexFormat with latex output
u1204
-
2014/06/29
Re: [Axiom-developer] Axiom on Max OS X 10.9.3
u1204
-
2014/06/29
[Axiom-developer] Axiom on Max OS X 10.9.3
Sarvagnan
-
2014/06/29
Re: [Axiom-developer] [fricas-devel] TexFormat with latex output
Bill Page
-
2014/06/29
[Axiom-developer] TexFormat with latex output
Ralf Hemmecke
-
2014/06/28
Re: [Axiom-developer] Hash problems
daly
-
2014/06/28
Re: [Axiom-developer] Hash problems
daly
-
2014/06/28
Re: [Axiom-developer] Hash problems
Camm Maguire
-
2014/06/28
Re: [Axiom-developer] TexFormat with latex output
daly
-
2014/06/28
Re: [Axiom-developer] TexFormat with latex output
Eugene Surowitz
-
2014/06/28
[Axiom-developer] GCL performance
daly
-
2014/06/28
Re: [Axiom-developer] Raising the algorithm documentation bar (wow)
John Kitchin
-
2014/06/27
[Axiom-developer] Axiom no longer uses noweb
daly
-
2014/06/27
Re: [Axiom-developer] Hash problems
daly
-
2014/06/27
[Axiom-developer] Hash problems
Camm Maguire
-
2014/06/27
Re: [Axiom-developer] TexFormat with latex output
daly
-
2014/06/27
Re: [Axiom-developer] [fricas-devel] TexFormat with latex output
Eugene Surowitz
-
2014/06/27
[Axiom-developer] [fee...@iro.umontreal.ca: Call for participation: International Lisp Conference in Montreal 15-17 August 2014]
Tim Daly
-
2014/06/27
[Axiom-developer] Fwd: [fricas-devel] TexFormat with latex output
Eugene Surowitz
-
2014/06/27
[Axiom-developer] Raising the algorithm documentation bar (wow)
daly
-
2014/06/27
Re: [Axiom-developer] Raising the algorithm documentation bar (wow)
Eugene Surowitz
-
2014/06/27
[Axiom-developer] Raising the algorithm documentation bar (wow)
daly
-
2014/06/26
Re: [Axiom-developer] Axiom on Mac OS X
Gabriel Dos Reis
-
2014/06/26
[Axiom-developer] Learning Axiom
daly
-
2014/06/25
Re: [Axiom-developer] Axiom on Mac OS X
u1204
-
2014/06/25
Re: [Axiom-developer] Axiom on Mac OS X
Sarvagnan
-
2014/06/24
Re: [Axiom-developer] Axiom on Mac OS X
Gabriel Dos Reis
-
2014/06/24
Re: [Axiom-developer] Axiom on Mac OS X
Eugene Surowitz
-
2014/06/24
[Axiom-developer] Axiom on Mac OS X
daly
-
2014/06/23
Re: [Axiom-developer] Axiom on Mac OS X
daly
-
2014/06/23
[Axiom-developer] Axiom on Mac OS X
Sarvagnan
-
2014/06/22
[Axiom-developer] The company you keep
Tim Daly
-
2014/06/17
[Axiom-developer] The Legacy Code Writer
daly
-
2014/06/16
Re: [Axiom-developer] GCL and LLVM
u1204
-
2014/06/14
[Axiom-developer] GCL and LLVM
daly
-
2014/06/12
[Axiom-developer] You are what you document
daly
-
2014/06/12
[Axiom-developer] You and your Research
daly
-
2014/06/10
[Axiom-developer] Real Closure paper
daly
-
2014/06/10
[Axiom-developer] Thesis
daly
-
2014/06/10
Re: [Axiom-developer] caching getdatabase info
Ralf Hemmecke
-
2014/06/10
[Axiom-developer] caching getdatabase info
daly
-
2014/06/09
[Axiom-developer] Cephes test data
daly
-
2014/06/09
[Axiom-developer] Cephes test data
daly
-
2014/06/09
[Axiom-developer] Statistical Shortcomings
daly
-
2014/06/09
[Axiom-developer] LLVM to ACL2 translator
Tim Daly
-
2014/06/08
[Axiom-developer] axiomgraph code
daly
-
2014/06/08
[Axiom-developer] axiomgraph code
daly
-
2014/06/08
[Axiom-developer] )describe
daly
-
2014/06/08
Re: [Axiom-developer] full graph
Ralf Hemmecke
-
2014/06/08
[Axiom-developer] dynamic graphs for compiler code
daly
-
2014/06/08
[Axiom-developer] full graph
daly
-
2014/06/08
[Axiom-developer] full graphs for categories
daly
-
2014/06/07
[Axiom-developer] Project Xanadu
daly
-
2014/06/07
[Axiom-developer] Exponential Integral (10 parameter fit constants)
daly
-
2014/06/05
[Axiom-developer] Thinking for Programmers
daly
-
2014/06/05
[Axiom-developer] ACM interviews Knuth
daly
-
2014/06/05
Re: [Axiom-developer] Axiom, Ubuntu and texlive
Ralf Hemmecke
-
2014/06/05
Re: [Axiom-developer] Axiom, Ubuntu and texlive
Michel Lavaud
-
2014/06/05
Re: [Axiom-developer] Axiom, Ubuntu and texlive
daly
-
2014/06/05
Re: [Axiom-developer] Axiom, Ubuntu and texlive
Ralf Hemmecke
-
2014/06/05
Re: [Axiom-developer] Axiom, Ubuntu and texlive
Michel Lavaud
-
2014/06/04
Re: [Axiom-developer] Axiom, Ubuntu and texlive
u1204
-
2014/06/04
Re: [Axiom-developer] Axiom, Ubuntu and texlive
Ralf Hemmecke
-
2014/06/04
[Axiom-developer] Axiom, Ubuntu and texlive
daly
-
2014/06/03
[Axiom-developer] noweb?
daly
-
2014/06/03
[Axiom-developer] noweb?
C Y
-
2014/06/03
[Axiom-developer] Axiom on Ubuntu 14.04
daly
-
2014/06/03
[Axiom-developer] Axiom, Ubuntu and texlive
C Y
-
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