In case you need a quick answer: The version of 23-Sep-2019 most likely contains changes triggered by this pull request https://github.com/metamath/set.mm/pull/1089 . There is a related thread on this group https://groups.google.com/forum/#!msg/metamath/HdfvWF2WhBE/-QCvEL2LBQAJ , indicating that 2.5.3 is either the latest version, or close to it.
Of course, Mario knows the answer best. Wolf Am Freitag, 27. Dezember 2019 01:37:14 UTC+1 schrieb David A. Wheeler: > > 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/efbe0f50-ed99-400d-9966-0d791ae890de%40googlegroups.com.
