Re: [Freemint-discuss] QED error message

[<ps...@sc...>]

Great analysis.

⁣Peter​

On 12 Jun 2024, 18:42, at 18:42, "Miro Kropáček" <mir...@gm...> wrote:
>On Wed, 24 Jan 2024 at 16:50, Philippe Noble <phi...@gm...>
>wrote:
>
>> I am reviving this old thread as I continue to have an error message
>with
>> QED.
>>
>As I bumped into this yesterday on CT60TOS I told myself "Ok, this is
>the
>day this mystery gets solved". And it did:
>https://github.com/freemint/qed/issues/8. :)
>
>-- 
>http://mikro.atari.org
>
>
>------------------------------------------------------------------------
>
>
>
>------------------------------------------------------------------------
>
>_______________________________________________
>Freemint-discuss mailing list
>Fre...@li...
>https://lists.sourceforge.net/lists/listinfo/freemint-discuss