From 624b6910ce5bcd254d94ef3f830cd8fc3b22d99b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Tue, 9 Jun 2020 11:51:35 +0200
Subject: [PATCH] [x] upstream diff in mmt isabelle exporter
---
doc/timeline/week24.txt | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/doc/timeline/week24.txt b/doc/timeline/week24.txt
index a29973d..5cd623b 100644
--- a/doc/timeline/week24.txt
+++ b/doc/timeline/week24.txt
@@ -1,9 +1,11 @@
Week 24 (08.06. - 14.06.)
=========================
-[ ] mmt: upstream changes to importers s.t. we don't get faulty data
+[x] mmt: upstream changes to importers s.t. we don't get faulty data
in the future
+ - https://github.com/UniFormal/MMT/pull/521
+
[x] supervision directory: clean up, find reasonable nomenclature
- use ulo-storage-* as a prefix for all stuff related to making
--
GitLab