From cb13d96fdc35693ee71a095e482f519a4c82df3d Mon Sep 17 00:00:00 2001
From: Tom Wiesing <tkw01536@gmail.com>
Date: Mon, 22 Jan 2018 16:56:56 +0100
Subject: [PATCH] Update mmt.md

---
 systems/mmt.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/systems/mmt.md b/systems/mmt.md
index c56e2c6..c70efef 100644
--- a/systems/mmt.md
+++ b/systems/mmt.md
@@ -1,7 +1,7 @@
 ---
 layout: system
 
-title: "MMT: Meta Meta Theories/Meta Meta Tool"
+title: "MMT"
 teaser: A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework.
 
 start_date: 2011-03
-- 
GitLab