KeYmaera Session 2 (bis)

KeYProject · Jul 30, 2024 · d7e3ad8 · d7e3ad8
1 parent 56c5942
commit d7e3ad8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/_layouts/programme.html b/_layouts/programme.html
@@ -184,7 +184,7 @@ <h3>not so preliminary anymore</h3>
       	<br>
 	Room: SR6
       </td>
-      <td>{{ session("Games for Hybrid Systems", "Enguerrand Prebet", [214,215,213,219,220], "closed") }}</td>
+      <td>{{ session("Games for Hybrid Systems", "Enguerrand Prebet", [214,213,215,219,220], "closed") }}</td>
     </tr>
 
     <tr class="break">