From f5a0c5dd6dbb2038093ed93a3a56fdd637d57916 Mon Sep 17 00:00:00 2001 From: Richard Marcus <rimarcus@gmx.de> Date: Mon, 27 Apr 2020 16:48:16 +0200 Subject: [PATCH] typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 77a9437..f242e04 100644 --- a/README.md +++ b/README.md @@ -30,7 +30,7 @@ In any case you should contact the Principal Investigator of KWARC: [Prof. Michael Kohlhase](http://kwarc.info/kohlhase) or the person indicated as the assignee. -## Thesis Topcis. +## Thesis Topics Topcis are available in the following larger areas, individual topics will be encoded as [issues](https://gl.kwarc.info/kwarc/thesis-projects/issues), details can be clarified in -- GitLab