Skip to content
GitLab
Explore
Sign in
MMT
LATIN
Issues
#1
READMEs in LATIN still mention svn URI and twelf
The READMES shoudl be updated to the new location.