polyml  

Messages by Date

• 2024/02/22 Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64 Steve Arons
• 2024/02/22 Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64 Chun Tian (binghe)
• 2024/02/22 Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64 Steve Arons
• 2024/02/22 Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64 Chun Tian (binghe)
• 2024/02/22 [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64 Steve Arons
• 2024/01/22 Re: [polyml] Poly/ML 5.9.1 David Matthews
• 2024/01/22 Re: [polyml] Poly/ML 5.9.1 Lawrence Paulson
• 2024/01/19 Re: [polyml] Poly/ML 5.9.1 vs. Isabelle/ML with proper IDE Makarius
• 2024/01/19 Re: [polyml] Poly/ML 5.9.1 Eliot Moss
• 2024/01/19 [polyml] Poly/ML 5.9.1 Andrew Goh via polyml
• 2023/11/24 Re: [polyml] How to build a new backend? David Matthews
• 2023/11/23 Re: [polyml] How to build a new backend? Andrei Formiga
• 2023/11/22 Re: [polyml] How to build a new backend? David Matthews
• 2023/11/22 [polyml] How to build a new backend? Andrei Formiga
• 2023/07/01 Re: [polyml] Looking for a Poly/ML 4.1.3 driver for sparc David Matthews
• 2023/07/01 [polyml] Looking for a Poly/ML 4.1.3 driver for sparc Bernard Berthomieu
• 2023/04/26 [polyml] Forwarded message from David MacQueen David Matthews
• 2022/11/14 Re: [polyml] Callback from a foreign thread Phil Clayton
• 2022/11/14 Re: [polyml] Callback from a foreign thread David Matthews
• 2022/11/13 [polyml] Callback from a foreign thread Phil Clayton
• 2022/07/17 [polyml] hitherto unobserved error while building HOL on ARM Mac Michael Norrish via polyml
• 2022/01/25 Re: [polyml] Update to ARM code-generator David Matthews
• 2022/01/21 Re: [polyml] Update to ARM code-generator Makarius
• 2022/01/17 Re: [polyml] Update to ARM code-generator Michael Norrish via polyml
• 2022/01/17 Re: [polyml] Poly/ML package in Debian and Ubuntu David Matthews
• 2022/01/17 Re: [polyml] Poly/ML package in Debian and Ubuntu Jessica Clarke
• 2022/01/17 [polyml] Poly/ML package in Debian and Ubuntu David Matthews
• 2022/01/16 [polyml] Update to ARM code-generator David Matthews
• 2021/12/08 Re: [polyml] Start poly in an augmented environment zacque
• 2021/12/08 Re: [polyml] Start poly in an augmented environment David Matthews
• 2021/12/07 [polyml] Start poly in an augmented environment zacque
• 2021/12/07 Re: [polyml] 5.9 released Matthew Fernandez
• 2021/12/07 Re: [polyml] 5.9 released Phil Clayton
• 2021/12/07 Re: [polyml] 5.9 released Frank Pfenning
• 2021/12/05 Re: [polyml] Polyml installation David Matthews
• 2021/12/05 [polyml] Polyml installation Darren Parkinson
• 2021/11/27 Re: [polyml] Size of stand-alone executables Phil Clayton
• 2021/11/26 Re: [polyml] Size of stand-alone executables Rob Arthan
• 2021/11/26 Re: [polyml] Size of stand-alone executables David Matthews
• 2021/11/26 [polyml] 5.9 released David Matthews
• 2021/11/25 [polyml] Size of stand-alone executables Rob Arthan
• 2021/11/25 Re: [polyml] Problem linking .o file David Matthews
• 2021/11/25 [polyml] Problem linking .o file Rob Arthan
• 2021/11/13 Re: [polyml] Detect Current Running OS in Poly/ML zacque
• 2021/11/13 Re: [polyml] Detect Current Running OS in Poly/ML David Matthews
• 2021/11/13 [polyml] Detect Current Running OS in Poly/ML zacque
• 2021/11/13 [polyml] Updates to master for 5.9 release David Matthews
• 2021/11/10 Re: [polyml] Build failure under cygwin David Matthews
• 2021/11/08 [polyml] Build failure under cygwin Eliot Moss
• 2021/11/02 Re: [polyml] Towards the next release (5.9) David Matthews
• 2021/11/01 Re: [polyml] Towards the next release (5.9) Oskar Abrahamsson
• 2021/11/01 Re: [polyml] Towards the next release (5.9) David Matthews
• 2021/11/01 Re: [polyml] Towards the next release (5.9) Oskar Abrahamsson
• 2021/11/01 Re: [polyml] Towards the next release (5.9) David Matthews
• 2021/10/30 [polyml] Towards the next release (5.9) David Matthews
• 2021/10/10 Re: [polyml] Metaprogramming Makarius
• 2021/10/10 [polyml] Metaprogramming Anton Lobach
• 2021/10/01 Re: [polyml] Can't build Poly/ML after introducing RunCall.rtsCallFast1 Phil Clayton
• 2021/10/01 [polyml] Can't build Poly/ML after introducing RunCall.rtsCallFast1 Phil Clayton
• 2021/06/25 Re: [polyml] Unix.execute argument list backwards incompatibility Ramana Kumar
• 2021/06/25 Re: [polyml] Unix.execute argument list backwards incompatibility Ramana Kumar
• 2021/06/21 Re: [polyml] Unix.execute argument list backwards incompatibility David Matthews
• 2021/06/19 [polyml] Unix.execute argument list backwards incompatibility Ramana Kumar
• 2021/05/15 Re: [polyml] Git master update: ARM64, PIE and new bootstrap process David Matthews
• 2021/05/15 Re: [polyml] Git master update: ARM64, PIE and new bootstrap process Florian Weimer
• 2021/05/15 [polyml] Git master update: ARM64, PIE and new bootstrap process David Matthews
• 2021/05/09 Re: [polyml] 5.8.2 Release Kostirya
• 2021/05/05 [polyml] 5.8.2 Release David Matthews
• 2021/04/27 Re: [polyml] PackReal32 David Matthews
• 2021/04/25 Re: [polyml] PackReal32 Chris Cannam
• 2021/04/11 Re: [polyml] PolyML and windows Eliot Moss
• 2021/04/11 Re: [polyml] PolyML and windows David Matthews
• 2021/04/09 [polyml] PolyML and windows Kostirya
• 2021/03/11 Re: [polyml] Updates in git master including major change to FFI Phil Clayton
• 2021/03/08 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2021/03/08 Re: [polyml] Updates in git master including major change to FFI Phil Clayton
• 2021/03/05 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2021/02/23 Re: [polyml] Updates in git master including major change to FFI Phil Clayton
• 2021/02/22 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2021/02/22 Re: [polyml] Updates in git master including major change to FFI Phil Clayton
• 2021/02/22 Re: [polyml] PackReal32 Chris Cannam
• 2021/02/21 Re: [polyml] PackReal32 David Matthews
• 2021/02/21 Re: [polyml] PackReal32 Chris Cannam
• 2021/02/19 Re: [polyml] Updates in git master including major change to FFI Phil Clayton
• 2021/02/18 Re: [polyml] Updates in git master including major change to FFI Phil Clayton
• 2021/02/17 [polyml] the design of Poly/ML Buday Gergely
• 2021/02/17 Re: [polyml] Announcement: Giraffe Library Phil Clayton
• 2021/02/16 Re: [polyml] Announcement: Giraffe Library David Matthews
• 2021/02/14 [polyml] Announcement: Giraffe Library Phil Clayton
• 2021/02/07 Re: [polyml] PackReal32 Chris Cannam
• 2021/02/06 Re: [polyml] PackReal32 David Matthews
• 2021/02/02 [polyml] PackReal32 Chris Cannam
• 2020/11/21 Re: [polyml] Updates in git master including major change to FFI Makarius
• 2020/11/14 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2020/11/09 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2020/11/07 Re: [polyml] Updates in git master including major change to FFI Makarius
• 2020/11/06 Re: [polyml] How to use the interactive debugger? David Matthews
• 2020/11/05 Re: [polyml] How to use the interactive debugger? Morten Olsen Lysgaard
• 2020/11/05 [polyml] How to use the interactive debugger? Morten Olsen Lysgaard
• 2020/11/04 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2020/11/02 Re: [polyml] Updates in git master including major change to FFI Makarius
• 2020/10/29 Re: [polyml] Can't build trunk (cea4c79c) on macOS 10.15 Chun Tian
• 2020/10/29 Re: [polyml] Can't build trunk (cea4c79c) on macOS 10.15 David Matthews
• 2020/10/27 [polyml] Can't build trunk (cea4c79c) on macOS 10.15 Chun Tian
• 2020/10/22 Re: [polyml] Updates in git master including major change to FFI Kostirya
• 2020/10/22 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2020/10/21 Re: [polyml] Updates in git master including major change to FFI Kostirya
• 2020/10/21 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2020/10/20 Re: [polyml] Updates in git master including major change to FFI Kostirya
• 2020/10/20 Re: [polyml] Updates in git master including major change to FFI David Matthews
• 2020/10/20 Re: [polyml] Install to users home directory Phil Clayton
• 2020/10/20 Re: [polyml] Install to users home directory David Matthews
• 2020/10/20 Re: [polyml] Run polyml in the broswer Phil Clayton
• 2020/10/20 Re: [polyml] Install to users home directory Phil Clayton
• 2020/10/20 [polyml] Run polyml in the broswer David Topham
• 2020/10/20 [polyml] Install to users home directory David Topham
• 2020/10/20 Re: [polyml] Install to users home directory Jerry James
• 2020/10/20 Re: [polyml] Updates in git master including major change to FFI Kostirya
• 2020/10/20 Re: [polyml] polyml install to Alpine Linux David Matthews
• 2020/10/20 Re: [polyml] Install to users home directory Phil Clayton
• 2020/10/19 Re: [polyml] Install to users home directory Stefan O'Rear
• 2020/10/19 [polyml] Install to users home directory David Topham
• 2020/10/19 Re: [polyml] polyml install to Alpine Linux David Matthews
• 2020/10/19 Re: [polyml] polyml install to Alpine Linux Jessica Clarke
• 2020/10/19 Re: [polyml] polyml install to Alpine Linux David Matthews
• 2020/10/19 [polyml] Updates in git master including major change to FFI David Matthews
• 2020/10/19 Re: [polyml] polyml install to Alpine Linux Stefan O'Rear
• 2020/10/19 Re: [polyml] polyml install to Alpine Linux David Matthews
• 2020/10/17 [polyml] polyml install to Alpine Linux David Topham
• 2020/10/17 Re: [polyml] polyml install to Alpine Linux Stefan O'Rear
• 2020/10/17 [polyml] polyml install to Alpine Linux David Topham
• 2020/10/17 Re: [polyml] polyml Digest, Vol 168, Issue 4 David Topham
• 2020/10/16 Re: [polyml] building polyml on Alpine Linux David Matthews
• 2020/10/16 Re: [polyml] PolyML REPL Anton Lobach
• 2020/10/16 [polyml] building polyml on Alpine Linux David Topham
• 2020/10/16 Re: [polyml] PolyML REPL David Matthews
• 2020/10/16 [polyml] PolyML REPL Anton Lobach
• 2020/10/04 Re: [polyml] polyml sometimes runs out of memory with plenty available Stefan O'Rear
• 2020/10/03 Re: [polyml] polyml sometimes runs out of memory with plenty available Stefan O'Rear
• 2020/09/29 Re: [polyml] polyml sometimes runs out of memory with plenty available David Matthews
• 2020/09/26 [polyml] polyml sometimes runs out of memory with plenty available Stefan O'Rear
• 2020/09/07 Re: [polyml] Non-blocking sockets Kostirya
• 2020/09/07 Re: [polyml] Non-blocking sockets David Matthews
• 2020/09/07 [polyml] Non-blocking sockets Vijay Mathew
• 2020/08/11 Re: [polyml] Updates in master - statistics and support for secure OSs David Matthews
• 2020/08/11 Re: [polyml] Updates in master - statistics and support for secure OSs Makarius
• 2020/08/11 [polyml] Updates in master - statistics and support for secure OSs David Matthews
• 2020/07/22 Re: [polyml] Version 5.8.1 Release David Matthews
• 2020/07/21 Re: [polyml] Version 5.8.1 Release Makarius
• 2020/07/20 Re: [polyml] Version 5.8.1 Release David Matthews
• 2020/07/20 Re: [polyml] Version 5.8.1 Release Phil Clayton
• 2020/07/20 [polyml] Version 5.8.1 Release David Matthews
• 2020/07/09 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option Norrish, Michael (Data61, Acton)
• 2020/07/09 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option Makarius
• 2020/07/06 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option David Matthews
• 2020/06/30 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option Phil Clayton
• 2020/06/29 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option Norrish, Michael (Data61, Acton)
• 2020/06/29 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option Phil Clayton
• 2020/06/21 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option Norrish, Michael (Data61, Acton)
• 2020/06/21 Re: [polyml] [ExternalEmail] Compiler (0ad5aa87) raises Option Norrish, Michael (Data61, Acton)
• 2020/06/21 [polyml] Compiler (0ad5aa87) raises Option Norrish, Michael (Data61, Acton)
• 2020/06/21 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Norrish, Michael (Data61, Acton)
• 2020/06/20 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Chun Tian (binghe)
• 2020/06/20 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Phil Clayton
• 2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Chun Tian (binghe)
• 2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) David Matthews
• 2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Chun Tian (binghe)
• 2020/06/19 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) David Matthews
• 2020/06/16 Re: [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Phil Clayton
• 2020/06/15 [polyml] Horrific GC(?) behaviour in 5.8 (g44efa473) Norrish, Michael (Data61, Acton)
• 2020/06/04 Re: [polyml] Poly/ML software directory David Matthews
• 2020/05/25 Re: [polyml] Poly/ML software directory David Matthews
• 2020/05/25 Re: [polyml] Poly/ML software directory Makarius
• 2020/05/25 [polyml] Poly/ML software directory David Matthews
• 2020/05/21 Re: [polyml] Char.toString "" Kostirya
• 2020/05/21 Re: [polyml] Char.toString "" David Matthews
• 2020/05/21 [polyml] Char.toString "" Kostirya
• 2020/04/17 Re: [polyml] Random structure in Poly/ML Lawrence Paulson
• 2020/04/13 Re: [polyml] Random structure in Poly/ML David Matthews
• 2020/04/12 [polyml] Random structure in Poly/ML Mark Clements
• 2019/09/02 Re: [polyml] Poly/ML version 5.8 for 32-bit Windows. David Matthews
• 2019/09/02 Re: [polyml] Poly/ML version 5.8 for 32-bit Windows. Eliot Moss
• 2019/09/02 [polyml] Poly/ML version 5.8 for 32-bit Windows. Kostirya
• 2019/08/02 Re: [polyml] chasing an intermittent allocation failure Chris Cannam
• 2019/08/02 Re: [polyml] chasing an intermittent allocation failure Chris Cannam
• 2019/08/02 Re: [polyml] chasing an intermittent allocation failure David Matthews
• 2019/08/02 Re: [polyml] chasing an intermittent allocation failure David Matthews
• 2019/07/31 [polyml] chasing an intermittent allocation failure Chris Cannam
• 2019/06/20 Re: [polyml] Non-blocking socket functions called without MSG_DONTWAIT flag Kostirya
• 2019/06/19 Re: [polyml] Non-blocking socket functions called without MSG_DONTWAIT flag David Matthews
• 2019/06/19 [polyml] Non-blocking socket functions called without MSG_DONTWAIT flag Kostirya
• 2019/05/21 Re: [polyml] [RFC] move to C++11 David Matthews
• 2019/05/21 Re: [polyml] [RFC] move to C++11 David Matthews
• 2019/05/19 Re: [polyml] [RFC] move to C++11 Makarius
• 2019/05/19 Re: [polyml] [RFC] move to C++11 Matthew Fernandez
• 2019/05/19 Re: [polyml] [RFC] move to C++11 Makarius
• 2019/05/19 Re: [polyml] [RFC] move to C++11 Matthew Fernandez
• 2019/05/19 Re: [polyml] [RFC] move to C++11 Makarius
• 2019/05/18 [polyml] [RFC] move to C++11 Matthew Fernandez
• 2019/05/16 Re: [polyml] `Exception- Overflow raised' during functor application David Matthews

• Earlier messages