Before I create a video, I want to make sure I am running the "current best version" of mmj2. Can someone confirm what's the "best version to use"?
The Metamath site links to: http://us.metamath.org/index.html#mmj2 where it seems to recommend using this version of mmj2: http://us2.metamath.org:88/ocat/mmj2/mmj2.zip The metamath website says that this link is for "(latest version, 2.4.1 26-Jan-2016, maintained by Mario Carneiro)". However, when I unzip that file, I find this: ./src/mmj/pa/PaConstants.java: public static final String VERSION = "2.5.3"; ./src/mmj/pa/PaConstants.java: public static final String VERSION_DATE = "23-Sep-2019"; So I think the Metamath website *link* is correct, and that's what I should use. If so, the text *describing* the link is wrong & needs an quick update to the correction version & date (or just omit that entirely). For comparison's sake, the mmj2 I'm currently running reports: Hi! I am mmj2 v2.5.1 as of 29-Dec-2016 so I seem to running an older version. The Metamath site also links to https://github.com/digama0/mmj2 but when I look at its releases here: https://github.com/digama0/mmj2/releases the latest release is merely v2.5.2 released this on May 10, 2017. I don't know why version 2.5.3 isn't tagged as a release (Mario: please tag it, it'd be a lot less confusing!). Thanks!! --- 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/E1ikdcv-0001wS-Ad%40rmmprod07.runbox.
