Simplified the introduction to models.

[saga.git] / TODO

diff --git a/TODO b/TODO
index 8f8561e2e3e20c53034d28259a9bab5a09450892..24a643841eafd89c871fdebbf0211effd7671e14 100644 (file)
--- a/TODO
+++ b/TODO
@@ -14,7 +14,3 @@ Ranking:
 Typography:
 
 - formatting of multi-line \algin, \algout
-
-Diaz:
-
-> 2: simplify, remove proof sketches