polyml  

Messages by Date

• 2009/04/20 [polyml] regular expression support? Lu Zhao
• 2009/04/09 Re: [polyml] Binary compatibility and static linking David Matthews
• 2009/04/09 Re: [polyml] structure/signature matching regression in SVN David Matthews
• 2009/04/08 Re: [polyml] structure/signature matching regression in SVN Makarius
• 2009/04/08 Re: [polyml] structure/signature matching regression in SVN David Matthews
• 2009/04/08 Re: [polyml] Binary compatibility and static linking Rob Arthan
• 2009/04/08 Re: [polyml] Binary compatibility and static linking Rob Arthan
• 2009/04/07 [polyml] structure/signature matching regression in SVN Matthew Fluet
• 2009/04/07 Re: [polyml] Binary compatibility and static linking David Matthews
• 2009/04/06 Re: [polyml] Binary compatibility and static linking Makarius
• 2009/04/06 [polyml] Binary compatibility and static linking Rob Arthan
• 2009/04/03 Re: [polyml] Re: Segmentation fault when saving state David Matthews
• 2009/04/02 [polyml] Re: Segmentation fault when saving state Philip Clayton
• 2009/03/24 Re: [polyml] Compilation error on AIX David Matthews
• 2009/03/23 Re: [polyml] Compilation error on AIX David Matthews
• 2009/03/23 [polyml] Compilation error on AIX nitralime
• 2009/03/23 Re: [polyml] Move to Subversion David Matthews
• 2009/03/22 Re: [polyml] Move to Subversion Basile STARYNKEVITCH
• 2009/03/22 [polyml] Move to Subversion David Matthews
• 2009/03/16 [polyml] Universal binaries Aleks Kissinger
• 2009/03/02 Re: [polyml] Installing Poly/ML David Matthews
• 2009/02/24 [polyml] Installing Poly/ML Rob Arthan
• 2009/02/06 Re: [polyml] ML compiler David Matthews
• 2009/02/05 Re: [polyml] ML compiler Lucas Dixon
• 2009/02/04 Re: [polyml] ML compiler Lucas Dixon
• 2009/02/04 Re: [polyml] ML compiler David Matthews
• 2009/02/03 Re: [polyml] ML compiler Philip Clayton
• 2009/02/03 [polyml] ML compiler Lucas Dixon
• 2009/01/29 [polyml] Updates in CVS David Matthews
• 2009/01/29 [polyml] Re: Segmentation fault when saving state David Matthews
• 2009/01/19 [polyml] Segmentation fault when saving state Philip Clayton
• 2009/01/17 Re: [polyml] Incorrect value for IntInf.pow (~1, ~n) for n = 1, 2, 4, 6, 8 etc. David Matthews
• 2009/01/08 [polyml] Incorrect value for IntInf.pow (~1, ~n) for n = 1, 2, 4, 6, 8 etc. Philip Clayton
• 2008/12/03 Re: [polyml] loadState and threads David Matthews
• 2008/11/30 Re: [polyml] loadState and threads Rob Arthan
• 2008/11/28 Re: [polyml] loadState and threads David Matthews
• 2008/11/28 Re: [polyml] printing out references David Matthews
• 2008/11/27 [polyml] printing out references Michael Norrish
• 2008/11/19 Re: [polyml] loadState and threads Philip Clayton
• 2008/11/19 Re: [polyml] loadState and threads David Matthews
• 2008/11/18 Re: [polyml] Unable to allocate immutable area David Matthews
• 2008/11/18 Re: [polyml] obscure segfault David Matthews
• 2008/11/17 Re: [polyml] obscure segfault Andras Pahi
• 2008/11/17 [polyml] obscure segfault Alexander Krauss
• 2008/11/17 [polyml] Re: Unable to allocate immutable area Tom Ridge
• 2008/11/17 [polyml] Unable to allocate immutable area Tom Ridge
• 2008/11/14 Re: [polyml] loadState and threads Philip Clayton
• 2008/11/13 Re: [polyml] loadState and threads David Matthews
• 2008/11/12 [polyml] loadState and threads Philip Clayton
• 2008/11/11 [polyml] library path-related installation problems with Poly/ML 5.2.1 on Windows XP Professional, Service Pack 2 Benjamin L. Russell
• 2008/10/23 Re: [polyml] Release 5.2.1 David Matthews
• 2008/10/22 [polyml] Release 5.2.1 David Matthews
• 2008/09/16 Re: [polyml] Garbage collection issue with functional input streams Philip Clayton
• 2008/09/12 Re: [polyml] Garbage collection issue with functional input streams David Matthews
• 2008/09/09 Re: [polyml] Block-buffered pipes David Matthews
• 2008/09/05 [polyml] Block-buffered pipes Makarius
• 2008/09/02 Re: [polyml] Garbage collection issue with functional input streams Dave Berry
• 2008/09/01 Re: [polyml] Garbage collection issue with functional input streams David Matthews
• 2008/09/01 [polyml] Garbage collection issue with functional input streams Philip Clayton
• 2008/08/27 [polyml] InternalError: getSome raised while compiling Timothy Bourke
• 2008/08/20 Re: [polyml] Unicode in Poly/ML? Michael Norrish
• 2008/08/19 Re: [polyml] Unicode in Poly/ML? Gergely Buday
• 2008/08/19 Re: [polyml] Unicode in Poly/ML? Makarius
• 2008/08/19 Re: [polyml] Unicode in Poly/ML? Achim D. Brucker
• 2008/08/18 [polyml] Unicode in Poly/ML? Michael Norrish
• 2008/08/18 Re: [polyml] Should -fno-strict-aliasing be in CXXFLAGS, too? Makarius
• 2008/08/18 Re: [polyml] Should -fno-strict-aliasing be in CXXFLAGS, too? David Matthews
• 2008/08/16 Re: [polyml] Should -fno-strict-aliasing be in CXXFLAGS, too? Florian Weimer
• 2008/08/15 [polyml] Should -fno-strict-aliasing be in CXXFLAGS, too? Lionel Elie Mamane
• 2008/08/14 [polyml] Re: Assertion failure in gc.cpp David Matthews
• 2008/08/14 Re: [polyml] xwindows.xpp: deprecated conversion from string constant to 'char*' David Matthews
• 2008/08/12 [polyml] xwindows.xpp: deprecated conversion from string constant to 'char*' Achim D. Brucker
• 2008/08/07 [polyml] Re: Poly/ML 5.2 and signals on older Linux systems David Matthews
• 2008/07/30 Re: [polyml] Release 5.2 Timothy Bourke
• 2008/07/30 Re: [polyml] Release 5.2 David Matthews
• 2008/07/15 [polyml] pretty printing oddities Lucas Dixon
• 2008/07/08 Re: [polyml] polyml input, echo, pipes and PolyML.export oddity David Matthews
• 2008/07/07 [polyml] polyml input, echo, pipes and PolyML.export oddity Lucas Dixon
• 2008/07/04 Re: [polyml] strange failures (problem with shell on Debian?) David Matthews
• 2008/07/02 Re: [polyml] structure sharing Lucas Dixon
• 2008/07/02 Re: [polyml] structure sharing Dave Berry
• 2008/07/02 Re: [polyml] structure sharing Lucas Dixon
• 2008/07/01 [polyml] strange failures (problem with shell on Debian?) Michael Norrish
• 2008/06/18 Re: [polyml] Real.fromDecimal and Real.~ David Matthews
• 2008/06/17 [polyml] Release 5.2 issues David Matthews
• 2008/06/16 [polyml] Real.fromDecimal and Real.~ Matthew Fluet

• Later messages