> On Mar 6, 2023, at 4:07 PM, jannik vierling <[email protected]> wrote: > > The pull request is now opened and waits to be merged :) > Jannik. Spectacular! Those are curious can follow it here: https://github.com/digama0/mmj2/pull/65 There's some tweaking under discussion, but I'm very happy to see this! --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/89D49792-573F-441F-824A-534D8D5EFE7F%40dwheeler.com.
- Re: [Metamath] mmj2 error js does not exist Mario Carneiro
- Re: [Metamath] mmj2 error js does not exist William Mitchell Jr
- Re: [Metamath] mmj2 error js does not exist Mario Carneiro
- Re: [Metamath] mmj2 error js does not exist Mario Carneiro
- Re: [Metamath] mmj2 error js does not exist William Mitchell Jr
- Re: [Metamath] mmj2 error js does not exist jannik vierling
- Re: [Metamath] mmj2 error js does not exist William Mitchell Jr
- Re: [Metamath] mmj2 error js does not exist Benoit
- Re: [Metamath] mmj2 error js does not exist David A. Wheeler
- Re: [Metamath] mmj2 error js does not exist jannik vierling
- Re: [Metamath] mmj2 error js does not exist David A. Wheeler
