Hi all,
Metamath-lamp version 25 <https://expln.github.io/lamp/v25/index.html> has been released. All changes are listed in its CHANGELOG.md <https://github.com/expln/metamath-lamp/blob/develop/CHANGELOG.md>. There is also a new metamath-lamp-docs <https://github.com/expln/metamath-lamp-docs> repository with some documentation explaining new features. Best regards, Igor -- 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 visit https://groups.google.com/d/msgid/metamath/9a0a666c-b9b1-433e-b305-62390580736an%40googlegroups.com.
