issues
search
UniFormal
/
MMT
The MMT Language and System
https://uniformal.github.io/
Other
68
stars
23
forks
source link
Mention minimum Java and SBT version in docs
#520
Closed
ComFreek
closed
4 years ago
ComFreek
commented
4 years ago
Mention in
https://github.com/UniFormal/uniformal.github.io/edit/master/doc/setup/index.md
with details from
https://github.com/UniFormal/MMT/commit/1f2e184ca684b8dbd03ad8692157965d5ff16d51
(issue just lest I forget this)
(issue just lest I forget this)