polyml  

Messages by Thread

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

• Later messages