Skip to content
GitLab
Explore
Sign in
MMT
urtheories
Repository
Branches
Overview
Active
Stale
All
qmt
586702da
·
Automatically replace old LF symbols and delimiters
·
Apr 05, 2018
sTeX2.0
0768f85f
·
generated files
·
Dec 21, 2020
devel
6ec8abac
·
fixing the dependencies in MANIFEST.MF: computing with smglom/meta-inf/bin/dependencies.py
·
Apr 24, 2023
!1
master
default
547cbaf1
·
fixing dependencies in MANIFEST.MF
·
Sep 18, 2023