From 648ecfb611be858359af242dd29f57b17ca25c57 Mon Sep 17 00:00:00 2001
From: Florian Rabe <florian.rabe@gmail.com>
Date: Sun, 3 Apr 2022 15:26:30 +0000
Subject: [PATCH] Update index.md

---
 events/GILogicWorkshops/index.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/events/GILogicWorkshops/index.md b/events/GILogicWorkshops/index.md
index abb28a1..7756650 100644
--- a/events/GILogicWorkshops/index.md
+++ b/events/GILogicWorkshops/index.md
@@ -32,7 +32,7 @@ The **tentative** program is as follows:
   * 14:00: Colin Rothgang, Theorem Proving in Dependently Typed Higher-Order Logic [slides (if any)](2022/rothgang.pdf) 
   * 14:30: Jean Christoph Jung and Frank Wolter, Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable
   * 15:00: Hendrik Leidinger, SCL for First-Order Logic with Equality,  [slides (if any)](2022/lange.pdf)
-Break 2: 15:30 - 16:00: free discussion in zoom
+* Break 2: 15:30 - 16:00: free discussion in zoom
 * Session 4: 16:00 - 17:00 (chair: Olaf Beyersdorff)
   * 16:00: Marijn Heule, **Invited talk** Short Proofs in Strong Proof Systems [slides (if any)](2022/heule.pdf)
 Fragments [slides (if any)](2022/jung.pdf)
-- 
GitLab