polyml  

Messages by Thread

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

• Earlier messages