polyml  

Messages by Date

• 2018/02/10 Re: [polyml] Poly/ML with libgmp on x86_64-darwin Makarius
• 2018/02/09 Re: [polyml] Poly/ML with libgmp on x86_64-darwin Matthew Fernandez
• 2018/02/09 Re: [polyml] Poly/ML with libgmp on x86_64-darwin Bernard Berthomieu
• 2018/02/09 Re: [polyml] Poly/ML with libgmp on x86_64-darwin Kostirya
• 2018/02/09 [polyml] Poly/ML with libgmp on x86_64-darwin Makarius
• 2018/02/09 [polyml] Building portable Poly/ML on Linux Makarius
• 2018/01/15 Re: [polyml] polyc and libraries David Matthews
• 2018/01/15 Re: [polyml] Assertion failure in scanaddrs Ramana Kumar
• 2018/01/15 Re: [polyml] Assertion failure in scanaddrs David Matthews
• 2018/01/14 [polyml] Assertion failure in scanaddrs Ramana Kumar
• 2017/12/24 Re: [polyml] More portable poly compilation Phil Clayton
• 2017/12/23 Re: [polyml] More portable poly compilation Florian Weimer
• 2017/12/23 [polyml] More portable poly compilation Makarius
• 2017/12/23 Re: [polyml] C++ standard in use Florian Weimer
• 2017/12/22 Re: [polyml] FFI conversions that are portable across Poly/ML versions David Matthews
• 2017/12/21 Re: [polyml] C++ standard in use Matthew Fernandez
• 2017/12/21 [polyml] FFI conversions that are portable across Poly/ML versions Phil Clayton
• 2017/12/21 Re: [polyml] C++ standard in use Makarius
• 2017/12/19 Re: [polyml] polyc and libraries Phil Clayton
• 2017/12/18 Re: [polyml] polyc and libraries David Matthews
• 2017/12/18 Re: [polyml] Retiring CInterface? David Matthews
• 2017/12/18 Re: [polyml] polyc and libraries David Matthews
• 2017/12/17 Re: [polyml] C++ standard in use Matthew Fernandez
• 2017/12/17 Re: [polyml] Retiring CInterface? Phil Clayton
• 2017/12/17 Re: [polyml] polyc and libraries Phil Clayton
• 2017/12/16 Re: [polyml] C++ standard in use Makarius
• 2017/12/16 Re: [polyml] C++ standard in use Makarius
• 2017/12/15 [polyml] C++ standard in use Matthew Fernandez
• 2017/12/15 Re: [polyml] polyc and libraries David Matthews
• 2017/12/15 Re: [polyml] polyc and libraries Makarius
• 2017/12/15 Re: [polyml] polyc and libraries David Matthews
• 2017/12/15 Re: [polyml] polyc and libraries David Matthews
• 2017/12/15 Re: [polyml] polyc and libraries Makarius
• 2017/12/15 Re: [polyml] polyc and libraries Kostirya
• 2017/12/15 Re: [polyml] Build error: Exception- InternalError: Too many passes raised while compiling David Matthews
• 2017/12/14 [polyml] Build error: Exception- InternalError: Too many passes raised while compiling Kostirya
• 2017/12/12 Re: [polyml] Retiring CInterface? Makarius
• 2017/12/12 [polyml] Retiring CInterface? David Matthews
• 2017/12/12 [polyml] polyc and libraries David Matthews
• 2017/12/01 Re: [polyml] PolyML sources [InternalError: asGenReg raised while compiling] Bernard Berthomieu
• 2017/12/01 Re: [polyml] PolyML sources [InternalError: asGenReg raised while compiling] David Matthews
• 2017/11/30 Re: [polyml] InternalError: asGenReg raised while compiling David Matthews
• 2017/11/29 [polyml] InternalError: asGenReg raised while compiling Bernard Berthomieu
• 2017/11/27 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/26 Re: [polyml] Approaching release of 5.7.1 Phil Clayton
• 2017/11/26 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/26 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/26 Re: [polyml] Approaching release of 5.7.1 Makarius
• 2017/11/26 Re: [polyml] Approaching release of 5.7.1 Makarius
• 2017/11/26 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/25 Re: [polyml] Approaching release of 5.7.1 Makarius
• 2017/11/25 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/25 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/25 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/25 Re: [polyml] Approaching release of 5.7.1 Phil Clayton
• 2017/11/23 Re: [polyml] Approaching release of 5.7.1 Phil Clayton
• 2017/11/21 Re: [polyml] 5.7.1 release candidate Chun Tian
• 2017/11/20 Re: [polyml] Approaching release of 5.7.1 Matthew Fernandez
• 2017/11/20 Re: [polyml] 5.7.1 release candidate Chun Tian
• 2017/11/20 Re: [polyml] 5.7.1 release candidate James Clarke
• 2017/11/20 Re: [polyml] 5.7.1 release candidate Ramana Kumar
• 2017/11/20 Re: [polyml] 5.7.1 release candidate Makarius
• 2017/11/20 [polyml] 5.7.1 release candidate David Matthews
• 2017/11/16 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/15 Re: [polyml] Approaching release of 5.7.1 Matthew Fernandez
• 2017/11/15 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/15 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 Ramana Kumar
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 James Clarke
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/13 Re: [polyml] Approaching release of 5.7.1 Phil Clayton
• 2017/11/12 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/12 Re: [polyml] Approaching release of 5.7.1 David Matthews
• 2017/11/11 Re: [polyml] Approaching release of 5.7.1 Rob Arthan
• 2017/11/11 Re: [polyml] 5.7 Release David Matthews
• 2017/11/11 Re: [polyml] 5.7 Release Ramana Kumar
• 2017/11/11 Re: [polyml] 5.7 Release David Matthews
• 2017/11/10 Re: [polyml] 5.7 Release Ramana Kumar
• 2017/11/10 Re: [polyml] Approaching release of 5.7.1 Makarius
• 2017/11/10 Re: [polyml] Approaching release of 5.7.1 Lars Hupel
• 2017/11/09 Re: [polyml] FW: Poly/ML output in LaTeX Timothy Bourke
• 2017/11/09 Re: [polyml] Poly/ML output in LaTeX Timothy Bourke
• 2017/11/09 Re: [polyml] Poly/ML output in LaTeX David Matthews
• 2017/11/09 [polyml] FW: Poly/ML output in LaTeX Michael.Norrish
• 2017/11/09 [polyml] Poly/ML output in LaTeX Timothy Bourke
• 2017/11/08 [polyml] current git version crashes Michael.Norrish
• 2017/11/08 Re: [polyml] Approaching release of 5.7.1 Makarius
• 2017/11/08 Re: [polyml] Approaching release of 5.7.1 Lars Hupel
• 2017/11/08 Re: [polyml] Approaching release of 5.7.1 Makarius
• 2017/11/08 Re: [polyml] Approaching release of 5.7.1 Lars Hupel
• 2017/11/08 [polyml] Approaching release of 5.7.1 David Matthews
• 2017/09/13 Re: [polyml] brew install polyml Matthew Fernandez
• 2017/09/13 Re: [polyml] determining link options Michael.Norrish
• 2017/09/13 Re: [polyml] determining link options David Matthews
• 2017/09/13 Re: [polyml] brew install polyml David Matthews
• 2017/09/13 [polyml] determining link options Michael.Norrish
• 2017/09/12 [polyml] brew install polyml Lawrence Paulson
• 2017/09/06 Re: [polyml] calling PolyML.shell from inside another executable David Matthews
• 2017/09/06 Re: [polyml] calling PolyML.shell from inside another executable Michael.Norrish
• 2017/09/06 Re: [polyml] calling PolyML.shell from inside another executable David Matthews
• 2017/09/05 [polyml] calling PolyML.shell from inside another executable Michael.Norrish
• 2017/08/31 Re: [polyml] semantics of SaveState.loadState David Matthews
• 2017/08/30 Re: [polyml] semantics of SaveState.loadState Michael.Norrish
• 2017/08/30 Re: [polyml] semantics of SaveState.loadState Phil Clayton
• 2017/08/30 Re: [polyml] semantics of SaveState.loadState Michael.Norrish
• 2017/08/30 Re: [polyml] semantics of SaveState.loadState David Matthews
• 2017/08/30 [polyml] semantics of SaveState.loadState Michael.Norrish
• 2017/08/19 [polyml] Exit codes and crowbar timeout Jerry James
• 2017/07/06 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
• 2017/07/06 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Jerry James
• 2017/07/05 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Phil Clayton
• 2017/07/05 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Makarius
• 2017/07/05 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
• 2017/07/05 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Rob Arthan
• 2017/07/05 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' David Matthews
• 2017/07/05 [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
• 2017/07/05 Re: [polyml] Different behaviors between SML/NJ and Poly/ML in a code from 'The Little MLer' Roní Gonçalves
• 2017/06/05 Re: [polyml] fork/exec woes Michael.Norrish
• 2017/06/05 Re: [polyml] fork/exec woes David Matthews
• 2017/06/05 Re: [polyml] fork/exec woes Makarius
• 2017/06/05 [polyml] fork/exec woes Michael.Norrish
• 2017/05/28 [polyml] Final CFP: ML Family Workshop 2017 Sam Lindley
• 2017/05/16 Re: [polyml] 5.7 Release David Matthews
• 2017/05/16 Re: [polyml] 5.7 Release David Matthews
• 2017/05/15 Re: [polyml] 5.7 Release Jerry James
• 2017/05/15 Re: [polyml] 5.7 Release Ramana Kumar
• 2017/05/12 [polyml] 5.7 Release David Matthews
• 2017/05/11 Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
• 2017/05/11 Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• 2017/05/11 Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
• 2017/05/08 Re: [polyml] What's the difference between "Release" and "IntRelease" ("Debug" and "IntDebug")? Chun Tian (binghe)
• 2017/05/08 Re: [polyml] What's the difference between "Release" and "IntRelease" ("Debug" and "IntDebug")? David Matthews
• 2017/05/08 [polyml] What's the difference between "Release" and "IntRelease" ("Debug" and "IntDebug")? Chun Tian (binghe)
• 2017/05/08 Re: [polyml] Is there a Windows build that can run at the command prompt? Chun Tian (binghe)
• 2017/05/08 Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• 2017/05/08 Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
• 2017/05/08 Re: [polyml] Is there a Windows build that can run at the command prompt? Chun Tian (binghe)
• 2017/05/07 [polyml] Second CFP: ML Family Workshop 2017 Sam Lindley
• 2017/05/05 Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
• 2017/05/03 Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• 2017/05/03 Re: [polyml] Origins of Poly David Matthews
• 2017/05/03 [polyml] Origins of Poly Yves Cloutier
• 2017/05/03 Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
• 2017/05/02 Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• 2017/05/02 Re: [polyml] Is there a Windows build that can run at the command prompt? Makarius
• 2017/05/02 Re: [polyml] Is there a Windows build that can run at the command prompt? David Matthews
• 2017/05/02 Re: [polyml] Is there a Windows build that can run at the command prompt? Chun Tian (binghe)
• 2017/05/01 Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• 2017/05/01 Re: [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• 2017/05/01 Re: [polyml] Is there a Windows build that can run at the command prompt? James Clarke
• 2017/05/01 Re: [polyml] Is there a Windows build that can run at the command prompt? Michael.Norrish
• 2017/05/01 [polyml] Is there a Windows build that can run at the command prompt? Chris Cannam
• 2017/04/18 Re: [polyml] configure fails Lawrence Paulson
• 2017/04/18 Re: [polyml] configure fails Недзельский Михаил
• 2017/04/18 [polyml] configure fails Lawrence Paulson
• 2017/03/21 Re: [polyml] 5.7 Release James Clarke
• 2017/03/21 Re: [polyml] 5.7 Release David Matthews
• 2017/03/21 Re: [polyml] 5.7 Release James Clarke
• 2017/03/13 Re: [polyml] 5.7 Release David Matthews
• 2017/03/05 Re: [polyml] 5.7 Release Rob Arthan
• 2017/03/05 Re: [polyml] 5.7 Release David Matthews
• 2017/03/04 Re: [polyml] 5.7 Release Rob Arthan
• 2017/03/02 Re: [polyml] 5.7 Release Makarius
• 2017/03/02 Re: [polyml] 5.7 Release David Matthews
• 2017/03/01 Re: [polyml] 5.7 Release James Clarke
• 2017/03/01 Re: [polyml] 5.7 Release David Matthews
• 2017/03/01 Re: [polyml] 5.7 Release Makarius
• 2017/03/01 Re: [polyml] 5.7 Release David Matthews
• 2017/02/27 Re: [polyml] 5.7 Release Makarius
• 2017/02/24 Re: [polyml] 5.7 Release Makarius
• 2017/02/23 Re: [polyml] 5.7 Release James Clarke
• 2017/02/22 Re: [polyml] 5.7 Release David Matthews
• 2017/02/21 Re: [polyml] 5.7 Release James Clarke
• 2017/02/21 Re: [polyml] 5.7 Release David Matthews
• 2017/02/21 Re: [polyml] 5.7 Release Kostirya
• 2017/02/21 Re: [polyml] 5.7 Release Kostirya
• 2017/02/21 Re: [polyml] 5.7 Release David Matthews
• 2017/02/21 Re: [polyml] 5.7 Release James Clarke
• 2017/02/21 Re: [polyml] 5.7 Release Kostirya
• 2017/02/21 [polyml] 5.7 Release David Matthews
• 2017/02/21 Re: [polyml] Benchmarks: Poly/ML 5.6.1 vs 5.6.0 David Matthews
• 2017/02/16 Re: [polyml] interfacing object oriented libraries Phil Clayton
• 2017/02/16 [polyml] interfacing object oriented libraries Gergely Buday
• 2017/02/13 [polyml] Benchmarks: Poly/ML 5.6.1 vs 5.6.0 Kostirya
• 2017/02/10 Re: [polyml] Poly/ML 5.6.1 Testing and exception_trace David Matthews
• 2017/02/10 [polyml] Poly/ML 5.6.1 Testing and exception_trace Kostirya
• 2017/02/09 Re: [polyml] Post-RTS and nonblocking socket functions David Matthews
• 2017/02/02 [polyml] Post-RTS and nonblocking socket functions Kostirya
• 2016/12/14 [polyml] QUse.use and exceptions Ramana Kumar
• 2016/12/07 Re: [polyml] Get errno David Matthews
• 2016/12/06 Re: [polyml] Get errno Kostirya
• 2016/11/18 [polyml] Thank you very much Kostirya
• 2016/11/15 Re: [polyml] Get errno David Matthews
• 2016/11/13 Re: [polyml] Get errno Florian Weimer
• 2016/11/12 Re: [polyml] Get errno David Matthews
• 2016/11/11 [polyml] Get errno Kostirya

• Earlier messages
• Later messages