KeYmaera Session 2

Author: EnguerrandPrebet

_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", [215,219,214,213,220], "closed") }}</td>
+      <td>{{ session("Games for Hybrid Systems", "Enguerrand Prebet", [214,215,213,219,220], "closed") }}</td>
     </tr>
 
     <tr class="break">