[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Discussion with MPS people
From: |
Gerd Möllmann |
Subject: |
Discussion with MPS people |
Date: |
Mon, 23 Dec 2024 15:03:56 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Eli Zaretskii <eliz@gnu.org> writes:
> Why didn't we discuss this with MPS folks?
That would be a good thing. Maybe we can get at least some initial
contact going.
I've CC'd Richard Brooksby, who is one of the main people behind MPS.
(AFAIU; sorry Richard if I under-represent your role.) I've seen that he
recently answered on the bug list, so maybe he's interested in helping
us.
@Richard:
Eli is an Emacs co-maintainer, and this mail goes in CC to the
emacs-devel mailing list. Pip Cet has taken over further development of
the branch scratch/igc, which contains a GC for Emacs based on MPS.
Helmut Eller is basically the third person doing importatnt work on
scratch/igc in the past.
- Re: Some experience with the igc branch, (continued)
- Re: Some experience with the igc branch, Helmut Eller, 2024/12/22
- Re: Some experience with the igc branch, Gerd Möllmann, 2024/12/22
- Re: Some experience with the igc branch, Pip Cet, 2024/12/22
- Re: Some experience with the igc branch, Gerd Möllmann, 2024/12/22
- Message not available
- Message not available
- Message not available
- Message not available
- Message not available
- Re: Make Signal handling patch platform-dependent?, Pip Cet, 2024/12/23
- Re: Make Signal handling patch platform-dependent?, Gerd Möllmann, 2024/12/23
- Re: Make Signal handling patch platform-dependent?, Eli Zaretskii, 2024/12/23
- Re: Some experience with the igc branch, Eli Zaretskii, 2024/12/23
- Discussion with MPS people,
Gerd Möllmann <=
- Re: Discussion with MPS people, Gerd Möllmann, 2024/12/23
- Re: Some experience with the igc branch, Pip Cet, 2024/12/23
- Re: Some experience with the igc branch, Gerd Möllmann, 2024/12/23
- Re: Some experience with the igc branch, Pip Cet, 2024/12/23
- Re: Some experience with the igc branch, Eli Zaretskii, 2024/12/23
- Re: Some experience with the igc branch, Pip Cet, 2024/12/23
- Re: Some experience with the igc branch, Eli Zaretskii, 2024/12/23
- Re: Some experience with the igc branch, Gerd Möllmann, 2024/12/23
- Re: Some experience with the igc branch, Eli Zaretskii, 2024/12/23
- Re: Some experience with the igc branch, Benjamin Riefenstahl, 2024/12/23