From 87387905e6a8064df4c7e8a3022cf80621a898b5 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 17 Oct 2024 13:41:35 +0200
Subject: [PATCH] more

---
 courses/swuv.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/courses/swuv.md b/courses/swuv.md
index b1404d8..a6933bb 100644
--- a/courses/swuv.md
+++ b/courses/swuv.md
@@ -39,14 +39,14 @@ If we need to do it via zoom, we will use the following room:
 * meeting ID: 934 2482 0605
 * password: 027214
 
-###### Topics
+##### Topics
 
 In WS24/25 we will not have free selection, but we will schedule coordinated groups of
 talks based on three handbooks (listed from easy to harder): 
-1. [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the
-  FAU network
-2. [Harrison: Handbook of practical Logic](Harrison_handbook-of-practical-logic.pdf)
-3. [Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
+
+- [Fensel: Handbook on Knowledge Graphs](https://link.springer.com/book/10.1007/978-3-031-45256-7) accessible from the FAU network
+- [Harrison: Handbook of practical Logic](Harrison_handbook-of-practical-logic.pdf)
+- [Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism](https://kwarc.info/teaching/sWuV/sorensen-urzyczyn_lectures-on-the-curry-howard-isomorphism.pdf)
 
 Students can choose consecutive sections/chapters of about 15-20 pages and report on the
 contents. We prefer to make coordinated groups of talks, starting in the order given
-- 
GitLab