> On Nov 21, 2020, at 5:14 PM, 'ML' via Metamath <[email protected]>
> wrote:
>
> Normally I'd be more conservative about starting from scratch vs improving
> the existing tools, but MMJ2 is very broken, so I'd be willing to participate
> in a rewrite.
>
> (I'd like to mention that MMJ2 being this broken is partly Java's fault, for
> no longer being careful about backwards compatibility. Undo/redo is broken
> since Java 9, and as far as I can tell it would need to be reimplemented
> completely, because a Swing feature it relied on was removed. All the macros
> will also be broken eventually, because the Nashorn engine, which they rely
> on, has been removed in Java 15. And I suspect there's more examples of this.)
I noticed that as well. The removal of the Nashorn engine is especially nasty,
because it will *require* a significant modification of mmj2 for it to work on
newer versions of Java :-(.
--- 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/BE7FAD41-8BC3-4176-B8E0-0437870627D5%40dwheeler.com.
