gcl-devel  

Messages by Date

• 2009/12/11 [Gcl-devel] Bug in mpz_get_d Camm Maguire
• 2009/11/30 [Gcl-devel] PLT patch for GNU ld >= 2.19 Jerry James
• 2009/10/13 Re: [Gcl-devel] Re: [TeXmacs] A rewrite of tm_axiom.c (attached) Enrique Perez-Terron
• 2009/10/13 Re: [Gcl-devel] Ellipsis patch Gabriel Dos Reis
• 2009/10/13 [Gcl-devel] Ellipsis patch Jerry James
• 2009/10/13 [Gcl-devel] PLT patch Jerry James
• 2009/10/13 Re: [Gcl-devel] Re: [TeXmacs] A rewrite of tm_axiom.c (attached) Jerry James
• 2009/10/12 Re: [Gcl-devel] Re: [TeXmacs] A rewrite of tm_axiom.c (attached) Jerry James
• 2009/10/12 Re: [Gcl-devel] Re: [TeXmacs] A rewrite of tm_axiom.c (attached) Jerry James
• 2009/10/12 Re: [Gcl-devel] Re: [TeXmacs] A rewrite of tm_axiom.c (attached) Gabriel Dos Reis
• 2009/10/12 [Gcl-devel] Re: [TeXmacs] A rewrite of tm_axiom.c (attached) Enrique Perez-Terron
• 2009/09/14 [Gcl-devel] Free memory from the garbage collector Javier Sancho
• 2009/08/25 Re: [Gcl-devel] virtual memory Camm Maguire
• 2009/08/25 Re: [Gcl-devel] Fedora Sparc build problem Camm Maguire
• 2009/08/19 [Gcl-devel] virtual memory Andrey G. Grozin
• 2009/08/17 Re: [Gcl-devel] Fedora Sparc build problem Jerry James
• 2009/08/16 Re: [Gcl-devel] Fedora Sparc build problem Camm Maguire
• 2009/08/12 [Gcl-devel] Re: Fedora Sparc build problem Jerry James
• 2009/08/12 [Gcl-devel] Fedora Sparc build problem Jerry James
• 2009/08/11 [Gcl-devel] Another PLT patch Jerry James
• 2009/08/06 Re: [Gcl-devel] readtable-case Camm Maguire
• 2009/08/06 [Gcl-devel] Re: Visit Matt Kaufmann
• 2009/08/06 [Gcl-devel] Re: Visit Camm Maguire
• 2009/08/06 [Gcl-devel] Re: Visit Camm Maguire
• 2009/08/06 [Gcl-devel] Re: ACL2 with x86-64 Debian Lenny GCL Camm Maguire
• 2009/07/28 Re: [Gcl-devel] " *** [raw_gcl_map] Error 1" happens while making GCL gbmcse2001
• 2009/07/24 Re: [Gcl-devel] " *** [raw_gcl_map] Error 1" happens while making GCL Wolfgang Pichl
• 2009/07/23 [Gcl-devel] " *** [raw_gcl_map] Error 1" happens while making GCL gbmcse2001
• 2009/07/01 [Gcl-devel] readtable-case Hunter Monroe
• 2009/06/26 Re: [Gcl-devel] build failure on x86_64 linux Wolfgang Pichl
• 2009/06/26 Re: [Gcl-devel] build failure on x86_64 linux Wolfgang Pichl
• 2009/06/25 Re: [Gcl-devel] build failure on x86_64 linux Camm Maguire
• 2009/06/24 Re: [Gcl-devel] build failure on x86_64 linux Wolfgang Pichl
• 2009/06/24 Re: [Gcl-devel] GCL and zlib dependency Francisco Jesús Martín Mateos
• 2009/06/23 Re: [Gcl-devel] build failure on x86_64 linux Jerry James
• 2009/06/23 Re: [Gcl-devel] build failure on x86_64 linux Wolfgang Pichl
• 2009/06/23 Re: [Gcl-devel] build failure on x86_64 linux Jerry James
• 2009/06/23 Re: [Gcl-devel] cvs make on redhat 5.0 Jerry James
• 2009/06/23 Re: [Gcl-devel] cvs make on redhat 5.0 Jim Ward
• 2009/06/23 [Gcl-devel] build failure on x86_64 linux Wolfgang Pichl
• 2009/06/23 Re: [Gcl-devel] cvs make on redhat 5.0 Jerry James
• 2009/06/23 Re: [Gcl-devel] cvs make on redhat 5.0 Jerry James
• 2009/06/23 Re: [Gcl-devel] cvs make on redhat 5.0 Jim Ward
• 2009/06/23 Re: [Gcl-devel] cvs make on redhat 5.0 Jerry James
• 2009/06/23 [Gcl-devel] cvs make on redhat 5.0 Jim Ward
• 2009/06/19 [Gcl-devel] Performance Camm Maguire
• 2009/06/19 Re: [Gcl-devel] PLT problem on Sparc Jerry James
• 2009/06/19 Re: [Gcl-devel] PLT problem on Sparc Camm Maguire
• 2009/06/19 Re: [Gcl-devel] PLT problem on Sparc Jerry James
• 2009/06/19 Re: [Gcl-devel] PLT problem on Sparc Camm Maguire
• 2009/06/19 Re: [Gcl-devel] GCL and zlib dependency Camm Maguire
• 2009/06/15 [Gcl-devel] GCL and zlib dependency Francisco Jesús Martín Mateos
• 2009/06/08 [Gcl-devel] Re: moving ACL2 files Matt Kaufmann
• 2009/06/08 [Gcl-devel] PLT problem on Sparc Jerry James
• 2009/06/08 [Gcl-devel] moving ACL2 files Matt Kaufmann
• 2009/05/21 [Gcl-devel] asm/signal.h Jerry James
• 2009/05/21 [Gcl-devel] Problematic "register" keyword Jerry James
• 2009/05/19 [Gcl-devel] Re: still have "Bad plist" problem Matt Kaufmann
• 2009/05/18 [Gcl-devel] Re: still have "Bad plist" problem Matt Kaufmann
• 2009/05/18 [Gcl-devel] Re: still have "Bad plist" problem Camm Maguire
• 2009/05/17 [Gcl-devel] still have "Bad plist" problem Matt Kaufmann
• 2009/05/16 [Gcl-devel] Re: E-Mail Correspondence Matt Kaufmann
• 2009/05/16 [Gcl-devel] Re: E-Mail Correspondence Camm Maguire
• 2009/05/08 [Gcl-devel] lifting #= restriction Matt Kaufmann
• 2009/05/02 [Gcl-devel] Can't build on Linux Blake McBride
• 2009/04/30 [Gcl-devel] Using the GCL project as a means to study micro- and meso-social issues in FLOSS Donald Winiecki
• 2009/04/06 [Gcl-devel] FFI sized integer data types Gabriel Dos Reis
• 2009/03/29 [Gcl-devel] Re: Building gcl on windows Donald Winiecki
• 2009/03/28 [Gcl-devel] Building gcl on windows Billinghurst, David (RTATECH)
• 2009/03/25 Re: [Gcl-devel] Garbage characters when running GCL inside EMACS on Debian 5 Donald Winiecki
• 2009/03/18 [Gcl-devel] Re: release notes Camm Maguire
• 2009/03/18 Re: [Gcl-devel] Garbage characters when running GCL inside EMACS on Debian 5 Camm Maguire
• 2009/03/10 [Gcl-devel] Garbage characters when running GCL inside EMACS on Debian 5 Donald Winiecki
• 2009/03/07 [Gcl-devel] Re: release notes Jerry James
• 2009/03/05 [Gcl-devel] Automatic inlining and function signature discovery Camm Maguire
• 2009/03/05 [Gcl-devel] The "C" package Camm Maguire
• 2009/03/05 [Gcl-devel] Re: fricas Debian package Camm Maguire
• 2009/03/04 [Gcl-devel] Re: release notes Camm Maguire
• 2009/03/04 [Gcl-devel] Release notes Jerry James
• 2009/03/04 [Gcl-devel] strange new gcl fork error on hppa Camm Maguire
• 2009/03/04 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/03/03 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/03/03 [Gcl-devel] [correction] -- last email on reader error fix Camm Maguire
• 2009/03/03 [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/03/03 [Gcl-devel] [c...@maguirefamily.org: Re: still a problem with interrupts in 64-bit GCL] Matt Kaufmann
• 2009/03/03 [Gcl-devel] Re: still a problem with interrupts in 64-bit GCL Camm Maguire
• 2009/03/03 [Gcl-devel] Re: still a problem with interrupts in 64-bit GCL Matt Kaufmann
• 2009/03/03 [Gcl-devel] Re: still a problem with interrupts in 64-bit GCL Matt Kaufmann
• 2009/03/03 [Gcl-devel] still a problem with interrupts in 64-bit GCL Matt Kaufmann
• 2009/03/02 [Gcl-devel] reader and . Matt Kaufmann
• 2009/02/28 [Gcl-devel] Re: Debian axiom build failures Camm Maguire
• 2009/02/28 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/02/27 Re: [Gcl-devel] LGPL v3? Alexey Beshenov
• 2009/02/27 Re: [Gcl-devel] Offtopic: productivity enhancing Linux howto sought Jerry James
• 2009/02/27 [Gcl-devel] Offtopic: productivity enhancing Linux howto sought Camm Maguire
• 2009/02/27 [Gcl-devel] LGPL v3? Camm Maguire
• 2009/02/27 [Gcl-devel] Re: While we're minimizing shell spawns ... Raymond Toy
• 2009/02/26 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2009/02/26 Re: [Gcl-devel] How to submit GCL patches Camm Maguire
• 2009/02/26 Re: [Gcl-devel] How to submit GCL patches Camm Maguire
• 2009/02/26 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/02/26 [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/26 [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/26 Re: [Gcl-devel] GCC 4.4 and strict aliasing Camm Maguire
• 2009/02/25 [Gcl-devel] Re: [dk...@cs.utexas.edu: Re: interrupts in 64-bit GCL] Matt Kaufmann
• 2009/02/25 [Gcl-devel] Re: [dk...@cs.utexas.edu: Re: interrupts in 64-bit GCL] Camm Maguire
• 2009/02/25 Re: [Gcl-devel] GCC 4.4 and strict aliasing Gabriel Dos Reis
• 2009/02/25 [Gcl-devel] [dk...@cs.utexas.edu: Re: interrupts in 64-bit GCL] Matt Kaufmann
• 2009/02/25 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/02/25 [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/24 [Gcl-devel] Debian axiom build failures Camm Maguire
• 2009/02/24 Re: [Gcl-devel] GCC 4.4 and strict aliasing Gabriel Dos Reis
• 2009/02/24 Re: [Gcl-devel] GCC 4.4 and strict aliasing Camm Maguire
• 2009/02/23 RE: [Gcl-devel] New members Donald Winiecki
• 2009/02/23 Re: [Gcl-devel] New members Donald Winiecki
• 2009/02/23 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/02/23 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/02/23 Re: [Gcl-devel] GCC 4.4 and strict aliasing Gabriel Dos Reis
• 2009/02/23 RE: [Gcl-devel] New members Billinghurst, David (RTATECH)
• 2009/02/23 [Gcl-devel] Re: New members Jerry James
• 2009/02/23 [Gcl-devel] New members Camm Maguire
• 2009/02/23 [Gcl-devel] Shakti Prasad Misra Camm Maguire
• 2009/02/23 Re: [Gcl-devel] GCC 4.4 and strict aliasing Jerry James
• 2009/02/23 [Gcl-devel] While we're minimizing shell spawns ... Camm Maguire
• 2009/02/23 Re: [Gcl-devel] GCC 4.4 and strict aliasing Camm Maguire
• 2009/02/23 [Gcl-devel] Re: interrupts in 64-bit GCL Matt Kaufmann
• 2009/02/23 Re: [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/22 Re: [Gcl-devel] Re: interrupts in 64-bit GCL Gabriel Dos Reis
• 2009/02/22 Re: [Gcl-devel] GCC 4.4 and strict aliasing Jerry James
• 2009/02/22 Re: [Gcl-devel] GCC 4.4 and strict aliasing Gabriel Dos Reis
• 2009/02/22 [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/22 Re: [Gcl-devel] GCC 4.4 and strict aliasing Camm Maguire
• 2009/02/21 [Gcl-devel] GCC 4.4 and strict aliasing Jerry James
• 2009/02/20 Re: [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/20 Re: [Gcl-devel] Re: interrupts in 64-bit GCL Gabriel Dos Reis
• 2009/02/20 Re: [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/20 Re: [Gcl-devel] Re: interrupts in 64-bit GCL Gabriel Dos Reis
• 2009/02/20 [Gcl-devel] Re: interrupts in 64-bit GCL Camm Maguire
• 2009/02/20 [Gcl-devel] Re: Sparc mprotect bug Camm Maguire
• 2009/02/20 Re: [Gcl-devel] Sparc mprotect bug [AvataR]
• 2009/02/20 [Gcl-devel] Sparc mprotect bug Camm Maguire
• 2009/02/18 [Gcl-devel] zlib dependency Camm Maguire
• 2009/02/18 [Gcl-devel] Re: binutils induced libz dependency Jerry James
• 2009/02/18 [Gcl-devel] Re: autoconf build tie dependency? Gabriel Dos Reis
• 2009/02/18 [Gcl-devel] autoconf build tie dependency? Camm Maguire
• 2009/02/18 [Gcl-devel] binutils induced libz dependency Camm Maguire
• 2009/02/17 [Gcl-devel] Re: Axiom on Debian Camm Maguire
• 2009/02/17 Re: [Gcl-devel] How to submit GCL patches Camm Maguire
• 2009/02/06 Re: [Gcl-devel] How to submit GCL patches Gabriel Dos Reis
• 2009/02/06 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2009/02/06 [Gcl-devel] Re: [Maxima] Runtime determination of share directories? Robert Dodier
• 2009/02/06 Re: Win32 builds (was, [Gcl-devel] How to submit GCL patches) Donald Winiecki
• 2009/02/06 [Gcl-devel] Re: [Maxima] Runtime determination of share directories? Camm Maguire
• 2009/02/06 Re: [Gcl-devel] cannot trap sbrk Camm Maguire
• 2009/02/06 [Gcl-devel] email correspondence Camm Maguire
• 2009/02/06 [Gcl-devel] Re: GCL debug loop is broken Camm Maguire
• 2009/02/06 [Gcl-devel] Re: GCL debug loop is broken Camm Maguire
• 2009/02/06 [Gcl-devel] Re: gazonk file clashes Camm Maguire
• 2009/02/06 Re: [Gcl-devel] How to submit GCL patches Camm Maguire
• 2009/02/05 Re: [Gcl-devel] How to submit GCL patches Camm Maguire
• 2009/02/05 [Gcl-devel] Re: problem with debugger Camm Maguire
• 2009/02/05 [Gcl-devel] Re: GCL debug loop is broken Camm Maguire
• 2009/02/05 [Gcl-devel] Re: GCL debug loop is broken Camm Maguire
• 2009/02/04 [Gcl-devel] Re: gcl status? Camm Maguire
• 2009/02/02 Re: [Gcl-devel] How to submit GCL patches Donald Winiecki
• 2009/02/02 Re: [Gcl-devel] How to submit GCL patches Gabriel Dos Reis
• 2009/01/30 [Gcl-devel] GCL Development Adrienne Thompson
• 2009/01/29 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2009/01/28 Re: [Gcl-devel] How to submit GCL patches Camm Maguire
• 2009/01/27 Re: [Gcl-devel] How to submit GCL patches Gabriel Dos Reis
• 2009/01/27 [Gcl-devel] Updated BFD and SELinux patches Jerry James
• 2009/01/26 [Gcl-devel] PPC64 platform Jerry James
• 2009/01/26 [Gcl-devel] DESCRIBE and gcl.info Jerry James
• 2009/01/20 Re: [Gcl-devel] How to submit GCL patches Donald Winiecki
• 2009/01/20 RE: [Gcl-devel] How to submit GCL patches Billinghurst, David (RTATECH)
• 2009/01/20 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2009/01/16 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2009/01/13 Re: [Gcl-devel] How to submit GCL patches Marijn Schouten (hkBst)
• 2009/01/12 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2009/01/11 Re: [Gcl-devel] How to submit GCL patches Andrey G. Grozin
• 2008/12/29 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2008/12/22 Re: [Gcl-devel] How to submit GCL patches Andrey G. Grozin
• 2008/12/08 RE: [Gcl-devel] How to submit GCL patches Billinghurst, David (RTATECH)
• 2008/12/08 Re: [Gcl-devel] How to submit GCL patches Donald Winiecki
• 2008/12/08 Re: [Gcl-devel] How to submit GCL patches Jerry James
• 2008/12/02 Re: [Gcl-devel] How to submit GCL patches Gabriel Dos Reis
• 2008/12/02 [Gcl-devel] How to submit GCL patches Jerry James
• 2008/11/24 Re: [Gcl-devel] Re: Patch: adapt to newer autoconf versions Jerry James
• 2008/11/21 [Gcl-devel] Re: Patch: adapt to newer autoconf versions Aleksej Saushev
• 2008/11/20 Re: [Gcl-devel] Patch: adapt to newer autoconf versions Gabriel Dos Reis
• 2008/11/20 Re: [Gcl-devel] Patch: adapt to newer autoconf versions Jerry James
• 2008/11/20 Re: [Gcl-devel] Patch: adapt to newer autoconf versions Gabriel Dos Reis
• 2008/11/20 Re: [Gcl-devel] Patch: adapt to newer autoconf versions Jerry James
• 2008/11/20 Re: [Gcl-devel] Patch: adapt to newer autoconf versions Gabriel Dos Reis
• 2008/11/20 [Gcl-devel] Patch: compile with newer system BFD libraries Jerry James
• 2008/11/20 [Gcl-devel] Re: Patch: don't #include inside a function Jerry James
• 2008/11/11 Re: [Gcl-devel] Build trouble Jerry James
• 2008/11/11 Re: [Gcl-devel] Build trouble Nicolas FRANCOIS
• 2008/11/11 [Gcl-devel] LD_COMMAND for Linux Jerry James
• 2008/11/11 Re: [Gcl-devel] Build trouble Jerry James

• Earlier messages
• Later messages