update todos

README.md

@@ -66,26 +66,25 @@ Deadline: next kakey meeting, 21.06.2024
 
 * MU:
   * Readme
-    * DONE Add link to the FM tutorial webpage
+    * [x] Add link to the FM tutorial webpage
     * Description of the both case studies.
-    * DONE Interactive use
-  * DONE: Beweis von sort()
-  * DONE: Beweis von List::add():
+    * [x] Interactive use
+  * [x] Beweis von sort()
+  * [x] Beweis von List::add():
 
 * AW: 
-  * Zenodo DOI
-  * Log level
-  * Proof reading: Readme
-  * 
+  * [ ] Zenodo DOI
+  * [x] Log level
+  * [ ] Proof reading: Readme
 
 * RB: 
-  * tentative screencast on the FM tutoral web page.
-  * Beweis von List::add()
+  * [ ] tentative screencast on the FM tutoral web page.
+  * [ ] Beweis von List::add()
 
 * WP:
-  * seqSwap auf main
-  * Integer Semantics/Overflows
-  * Test[Test::test()].JML normal_behavior operation contract.0
+  * [ ] seqSwap auf main
+  * [ ] Integer Semantics/Overflows
+  * [ ] Test[Test::test()].JML normal_behavior operation contract.0
     Test::test() w/o Z3