polyml  

Messages by Thread

• [polyml] Final warning of deletion of old Poly/ML mailing list David Matthews
• [polyml] New mailing list David Matthews
  • [polyml] unsubscribe Helmut + Elisabeth Preininger via polyml
• [polyml] Very slow type checking with largish/nested type abbreviations Kevin Kappelmann
  • Re: [polyml] Very slow type checking with largish/nested type abbreviations Kevin Kappelmann
  • Re: [polyml] Very slow type checking with largish/nested type abbreviations David Matthews
• [polyml] Future of the mailing list David Matthews
  • Re: [polyml] Future of the mailing list Daniil Baturin via polyml
  • Re: [polyml] Future of the mailing list Makarius
  • Re: [polyml] Future of the mailing list Makarius
  • Re: [polyml] Future of the mailing list charter . ingratiate309
  • Re: [polyml] Future of the mailing list charter.ingratiate...@aceecat.org
  • Re: [polyml] Future of the mailing list Rob Arthan
  • Re: [polyml] Future of the mailing list charter . ingratiate309
  • Re: [polyml] Future of the mailing list Jelle Hermsen via polyml
• [polyml] Foreign functions Gergely Buday
  • Re: [polyml] Foreign functions David Matthews
  • Re: [polyml] Foreign functions Phil Clayton
• [polyml] Thread.ConditionVar.waitUntil Rob Arthan
  • Re: [polyml] Thread.ConditionVar.waitUntil Robert Roessler
  • Re: [polyml] Thread.ConditionVar.waitUntil David Matthews
• [polyml] Scripting on Windows Gergely Buday
  • Re: [polyml] Scripting on Windows David Matthews
  • Re: [polyml] Scripting on Windows Gergely Buday via polyml
  • Re: [polyml] Scripting on Windows David Matthews
  • Re: [polyml] Scripting on Windows Makarius
• [polyml] Pretty-printing of infix operators Rob Arthan
  • Re: [polyml] Pretty-printing of infix operators Rob Arthan
  • Re: [polyml] Pretty-printing of infix operators David Matthews
  • Re: [polyml] Pretty-printing of infix operators Makarius
  • Re: [polyml] Pretty-printing of infix operators Rob Arthan
• [polyml] Is the list still up and running? Rob Arthan
  • Re: [polyml] Is the list still up and running? Paul A. Steckler
  • Re: [polyml] Is the list still up and running? klevine21 via polyml
  • Re: [polyml] Is the list still up and running? David Matthews
  • Re: [polyml] Is the list still up and running? David Matthews
  • Re: [polyml] Is the list still up and running? Dave Berry
  • Re: [polyml] Is the list still up and running? Rob Arthan
  • Re: [polyml] Is the list still up and running? David Matthews
• [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)

• Earlier messages