From cd646712c6082903f35d939f340e4115484f36e0 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Tue, 3 Apr 2018 14:38:01 +0200 Subject: [PATCH] more metadata --- systems/mmt.md | 1 + 1 file changed, 1 insertion(+) diff --git a/systems/mmt.md b/systems/mmt.md index c70efef..341f5c5 100644 --- a/systems/mmt.md +++ b/systems/mmt.md @@ -19,6 +19,7 @@ supported-by: - latin - mathsearch +publink: http://kwarc.github.io/bibs/mmt website: https://uniformal.github.io/ repository: https://github.com/Uniformal/MMT --- -- GitLab