[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MPS symbols
|
From: |
Gerd Möllmann |
|
Subject: |
Re: MPS symbols |
|
Date: |
Fri, 28 Jun 2024 11:19:21 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Gerd Möllmann <gerd.moellmann@gmail.com> writes:
> Forgot something. While looking at the scanner, I wondered if we could
> remove the is_mps check from fix_lisp_obj now that we have the dump
> in MPS...
Let's find out, pushed. Works for me :-)
- MPS symbols, Helmut Eller, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols, Helmut Eller, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols,
Gerd Möllmann <=
- Re: MPS symbols, Helmut Eller, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols, Eli Zaretskii, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols, Helmut Eller, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols, Gerd Möllmann, 2024/06/28
- Re: MPS symbols, Helmut Eller, 2024/06/28
- Re: MPS symbols, Eli Zaretskii, 2024/06/28