polyml

[polyml] Final warning of deletion of old Poly/ML mailing list

Thu, 22 May 2025 11:54:09 GMT

2025/05/22 -- David Matthews

[polyml] unsubscribe

Wed, 14 May 2025 10:18:11 GMT

2025/05/14 -- Helmut + Elisabeth Preininger via polyml

[polyml] New mailing list

Tue, 13 May 2025 11:30:54 GMT

2025/05/13 -- David Matthews

Re: [polyml] Future of the mailing list

Sun, 11 May 2025 13:29:41 GMT

2025/05/11 -- Jelle Hermsen via polyml

Re: [polyml] Future of the mailing list

Sat, 10 May 2025 17:06:57 GMT

2025/05/10 -- charter . ingratiate309

Re: [polyml] Future of the mailing list

Fri, 09 May 2025 21:46:49 GMT

2025/05/09 -- Rob Arthan

Re: [polyml] Future of the mailing list

Mon, 21 Apr 2025 18:37:10 GMT

2025/04/21 -- charter.ingratiate...@aceecat.org

Re: [polyml] Future of the mailing list

Fri, 18 Apr 2025 17:09:59 GMT

2025/04/18 -- Makarius

Re: [polyml] Future of the mailing list

Thu, 17 Apr 2025 17:57:22 GMT

2025/04/17 -- charter . ingratiate309

Re: [polyml] Very slow type checking with largish/nested type abbreviations

Sun, 13 Apr 2025 16:51:57 GMT

2025/04/13 -- David Matthews

[polyml] Very slow type checking with largish/nested type abbreviations

Thu, 10 Apr 2025 16:19:31 GMT

2025/04/10 -- Kevin Kappelmann

Re: [polyml] Very slow type checking with largish/nested type abbreviations

Thu, 10 Apr 2025 15:56:37 GMT

2025/04/10 -- Kevin Kappelmann

Re: [polyml] Future of the mailing list

Fri, 28 Mar 2025 17:48:36 GMT

2025/03/28 -- Makarius

[polyml] Future of the mailing list

Fri, 28 Mar 2025 17:35:20 GMT

2025/03/28 -- David Matthews

Re: [polyml] Future of the mailing list

Fri, 28 Mar 2025 17:32:18 GMT

2025/03/28 -- Daniil Baturin via polyml

Re: [polyml] Foreign functions

Wed, 05 Mar 2025 11:46:52 GMT

2025/03/05 -- Phil Clayton

Re: [polyml] Foreign functions

Tue, 04 Mar 2025 18:50:04 GMT

2025/03/04 -- David Matthews

[polyml] Foreign functions

Tue, 04 Mar 2025 13:31:18 GMT

2025/03/04 -- Gergely Buday

Re: [polyml] Scripting on Windows

Thu, 27 Feb 2025 19:41:09 GMT

2025/02/27 -- Makarius

Re: [polyml] Scripting on Windows

Thu, 27 Feb 2025 15:09:46 GMT

2025/02/27 -- David Matthews

Re: [polyml] Scripting on Windows

Thu, 27 Feb 2025 13:18:55 GMT

2025/02/27 -- Gergely Buday via polyml

Re: [polyml] Thread.ConditionVar.waitUntil

Fri, 10 Jan 2025 17:10:08 GMT

2025/01/10 -- David Matthews

Re: [polyml] Thread.ConditionVar.waitUntil

Fri, 10 Jan 2025 02:57:35 GMT

2025/01/10 -- Robert Roessler

[polyml] Thread.ConditionVar.waitUntil

Thu, 09 Jan 2025 22:06:57 GMT

2025/01/09 -- Rob Arthan

Re: [polyml] Scripting on Windows

Tue, 26 Nov 2024 15:29:47 GMT

2024/11/26 -- David Matthews

[polyml] Scripting on Windows

Mon, 25 Nov 2024 13:14:09 GMT

2024/11/25 -- Gergely Buday

Re: [polyml] Pretty-printing of infix operators

Sun, 03 Nov 2024 21:02:08 GMT

2024/11/03 -- Rob Arthan

Re: [polyml] Pretty-printing of infix operators

Sun, 03 Nov 2024 17:43:27 GMT

2024/11/03 -- Makarius

Re: [polyml] Pretty-printing of infix operators

Sun, 03 Nov 2024 17:28:57 GMT

2024/11/03 -- David Matthews

Re: [polyml] Pretty-printing of infix operators

Thu, 31 Oct 2024 21:59:15 GMT

2024/10/31 -- Rob Arthan

[polyml] Pretty-printing of infix operators

Thu, 31 Oct 2024 21:46:34 GMT

2024/10/31 -- Rob Arthan

Re: [polyml] Is the list still up and running?

Tue, 03 Sep 2024 13:22:53 GMT

2024/09/03 -- David Matthews

Re: [polyml] Is the list still up and running?

Fri, 23 Aug 2024 06:51:48 GMT

2024/08/23 -- David Matthews

Re: [polyml] Is the list still up and running?

Fri, 23 Aug 2024 03:44:21 GMT

2024/08/23 -- klevine21 via polyml

Re: [polyml] Is the list still up and running?

Thu, 22 Aug 2024 19:36:51 GMT

2024/08/22 -- Rob Arthan

Re: [polyml] Is the list still up and running?

Thu, 22 Aug 2024 07:23:00 GMT

2024/08/22 -- Dave Berry

Re: [polyml] Is the list still up and running?

Thu, 22 Aug 2024 07:05:48 GMT

2024/08/22 -- David Matthews

Re: [polyml] Is the list still up and running?

Wed, 21 Aug 2024 22:54:56 GMT

2024/08/21 -- Paul A. Steckler

[polyml] Is the list still up and running?

Wed, 21 Aug 2024 21:14:38 GMT

2024/08/21 -- Rob Arthan

Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64

Fri, 23 Feb 2024 04:08:03 GMT

2024/02/23 -- Steve Arons

Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64

Fri, 23 Feb 2024 02:52:34 GMT

2024/02/23 -- Chun Tian (binghe)

Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64

Fri, 23 Feb 2024 02:41:52 GMT

2024/02/23 -- Steve Arons

Re: [polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64

Fri, 23 Feb 2024 02:26:33 GMT

2024/02/23 -- Chun Tian (binghe)

[polyml] PolyML 5.9.1 build failure on Mac Sonoma arm64

Fri, 23 Feb 2024 02:10:56 GMT

2024/02/23 -- Steve Arons

Re: [polyml] Poly/ML 5.9.1

Mon, 22 Jan 2024 14:44:42 GMT

2024/01/22 -- David Matthews

Re: [polyml] Poly/ML 5.9.1

Mon, 22 Jan 2024 09:43:44 GMT

2024/01/22 -- Lawrence Paulson

Re: [polyml] Poly/ML 5.9.1 vs. Isabelle/ML with proper IDE

Fri, 19 Jan 2024 21:30:47 GMT

2024/01/19 -- Makarius

Re: [polyml] Poly/ML 5.9.1

Fri, 19 Jan 2024 13:53:37 GMT

2024/01/19 -- Eliot Moss

[polyml] Poly/ML 5.9.1

Fri, 19 Jan 2024 13:49:19 GMT

2024/01/19 -- Andrew Goh via polyml

Re: [polyml] How to build a new backend?

Fri, 24 Nov 2023 10:47:54 GMT

2023/11/24 -- David Matthews

Re: [polyml] How to build a new backend?

Thu, 23 Nov 2023 15:10:47 GMT

2023/11/23 -- Andrei Formiga

Re: [polyml] How to build a new backend?

Thu, 23 Nov 2023 07:21:12 GMT

2023/11/23 -- David Matthews

[polyml] How to build a new backend?

Wed, 22 Nov 2023 18:44:11 GMT

2023/11/22 -- Andrei Formiga

Re: [polyml] Looking for a Poly/ML 4.1.3 driver for sparc

Sat, 01 Jul 2023 14:14:50 GMT

2023/07/01 -- David Matthews

[polyml] Looking for a Poly/ML 4.1.3 driver for sparc

Sat, 01 Jul 2023 12:14:12 GMT

2023/07/01 -- Bernard Berthomieu

[polyml] Forwarded message from David MacQueen

Wed, 26 Apr 2023 18:34:31 GMT

2023/04/26 -- David Matthews

Re: [polyml] Callback from a foreign thread

Mon, 14 Nov 2022 19:52:53 GMT

2022/11/14 -- Phil Clayton

Re: [polyml] Callback from a foreign thread

Mon, 14 Nov 2022 08:57:18 GMT

2022/11/14 -- David Matthews

[polyml] Callback from a foreign thread

Sun, 13 Nov 2022 23:41:44 GMT

2022/11/13 -- Phil Clayton

[polyml] hitherto unobserved error while building HOL on ARM Mac

Mon, 18 Jul 2022 04:15:30 GMT

2022/07/18 -- Michael Norrish via polyml

Re: [polyml] Update to ARM code-generator

Tue, 25 Jan 2022 11:26:09 GMT

2022/01/25 -- David Matthews

Re: [polyml] Update to ARM code-generator

Fri, 21 Jan 2022 16:36:31 GMT

2022/01/21 -- Makarius

Re: [polyml] Update to ARM code-generator

Mon, 17 Jan 2022 23:47:40 GMT

2022/01/17 -- Michael Norrish via polyml

Re: [polyml] Poly/ML package in Debian and Ubuntu

Mon, 17 Jan 2022 22:59:47 GMT

2022/01/17 -- David Matthews

Re: [polyml] Poly/ML package in Debian and Ubuntu

Mon, 17 Jan 2022 22:12:36 GMT

2022/01/17 -- Jessica Clarke

[polyml] Poly/ML package in Debian and Ubuntu

Mon, 17 Jan 2022 21:59:40 GMT

2022/01/17 -- David Matthews

[polyml] Update to ARM code-generator

Sun, 16 Jan 2022 11:57:17 GMT

2022/01/16 -- David Matthews

Re: [polyml] Start poly in an augmented environment

Wed, 08 Dec 2021 08:55:12 GMT

2021/12/08 -- zacque

Re: [polyml] Start poly in an augmented environment

Wed, 08 Dec 2021 08:03:14 GMT

2021/12/08 -- David Matthews

[polyml] Start poly in an augmented environment

Wed, 08 Dec 2021 07:44:04 GMT

2021/12/08 -- zacque

Re: [polyml] 5.9 released

Tue, 07 Dec 2021 15:55:24 GMT

2021/12/07 -- Matthew Fernandez

Re: [polyml] 5.9 released

Tue, 07 Dec 2021 13:40:24 GMT

2021/12/07 -- Phil Clayton

Re: [polyml] 5.9 released

Tue, 07 Dec 2021 13:29:48 GMT

2021/12/07 -- Frank Pfenning

Re: [polyml] Polyml installation

Sun, 05 Dec 2021 17:39:05 GMT

2021/12/05 -- David Matthews

[polyml] Polyml installation

Sun, 05 Dec 2021 17:29:04 GMT

2021/12/05 -- Darren Parkinson

Re: [polyml] Size of stand-alone executables

Sat, 27 Nov 2021 10:32:08 GMT

2021/11/27 -- Phil Clayton

Re: [polyml] Size of stand-alone executables

Sat, 27 Nov 2021 00:16:47 GMT

2021/11/27 -- Rob Arthan

Re: [polyml] Size of stand-alone executables

Fri, 26 Nov 2021 08:43:41 GMT

2021/11/26 -- David Matthews

[polyml] 5.9 released

Fri, 26 Nov 2021 08:22:02 GMT

2021/11/26 -- David Matthews

[polyml] Size of stand-alone executables

Thu, 25 Nov 2021 19:31:35 GMT

2021/11/25 -- Rob Arthan

Re: [polyml] Problem linking .o file

Thu, 25 Nov 2021 16:51:52 GMT

2021/11/25 -- David Matthews

[polyml] Problem linking .o file

Thu, 25 Nov 2021 16:24:21 GMT

2021/11/25 -- Rob Arthan

Re: [polyml] Detect Current Running OS in Poly/ML

Sat, 13 Nov 2021 15:41:05 GMT

2021/11/13 -- zacque

Re: [polyml] Detect Current Running OS in Poly/ML

Sat, 13 Nov 2021 15:23:56 GMT

2021/11/13 -- David Matthews

[polyml] Detect Current Running OS in Poly/ML

Sat, 13 Nov 2021 15:05:38 GMT

2021/11/13 -- zacque

[polyml] Updates to master for 5.9 release

Sat, 13 Nov 2021 08:13:28 GMT

2021/11/13 -- David Matthews

Re: [polyml] Build failure under cygwin

Wed, 10 Nov 2021 14:53:27 GMT

2021/11/10 -- David Matthews

[polyml] Build failure under cygwin

Tue, 09 Nov 2021 01:31:16 GMT

2021/11/09 -- Eliot Moss

Re: [polyml] Towards the next release (5.9)

Tue, 02 Nov 2021 17:51:06 GMT

2021/11/02 -- David Matthews

Re: [polyml] Towards the next release (5.9)

Mon, 01 Nov 2021 18:05:55 GMT

2021/11/01 -- Oskar Abrahamsson

Re: [polyml] Towards the next release (5.9)

Mon, 01 Nov 2021 16:13:47 GMT

2021/11/01 -- David Matthews

Re: [polyml] Towards the next release (5.9)

Mon, 01 Nov 2021 14:26:54 GMT

2021/11/01 -- Oskar Abrahamsson

Re: [polyml] Towards the next release (5.9)

Mon, 01 Nov 2021 13:59:46 GMT

2021/11/01 -- David Matthews

[polyml] Towards the next release (5.9)

Sat, 30 Oct 2021 07:55:34 GMT

2021/10/30 -- David Matthews

Re: [polyml] Metaprogramming

Sun, 10 Oct 2021 15:11:16 GMT

2021/10/10 -- Makarius

[polyml] Metaprogramming

Sun, 10 Oct 2021 11:08:10 GMT

2021/10/10 -- Anton Lobach

Re: [polyml] Can't build Poly/ML after introducing RunCall.rtsCallFast1

Fri, 01 Oct 2021 15:54:13 GMT

2021/10/01 -- Phil Clayton

[polyml] Can't build Poly/ML after introducing RunCall.rtsCallFast1

Fri, 01 Oct 2021 15:22:36 GMT

2021/10/01 -- Phil Clayton

Re: [polyml] Unix.execute argument list backwards incompatibility

Fri, 25 Jun 2021 08:58:44 GMT

2021/06/25 -- Ramana Kumar

Re: [polyml] Unix.execute argument list backwards incompatibility

Fri, 25 Jun 2021 08:58:32 GMT

2021/06/25 -- Ramana Kumar