[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Discussion with MPS people
From: |
Gerd Möllmann |
Subject: |
Re: Discussion with MPS people |
Date: |
Mon, 23 Dec 2024 15:04:57 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Gerd Möllmann <gerd.moellmann@gmail.com> writes:
> 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.
And of course I've forgotten to actually add Richard in CC. Now done.
- 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, 2024/12/23
- Re: Discussion with MPS people,
Gerd Möllmann <=
- 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
- Re: Some experience with the igc branch, Pip Cet, 2024/12/23