Closed ghost closed 5 years ago
Probably also a GIT revision of the various components, at least
MMT does not know it's own git hash
I was thinking that the build process would (when it pulls) write the hash somewhere into a file and that MMT can read (and then knows).
But I guess the release number should be sufficient.
This is almost finished. But (e.g. for the MathHub version) I see
MathHub Version 0.0.2
(built 22:31:53 GMT+0200 (CEST))
this only shows the build time, not the build data, which is much more important.
Add the version to the footer.