]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/whelp/TODO
removed papers that have been moved to the new "papers" repository
[helm.git] / helm / papers / whelp / TODO
diff --git a/helm/papers/whelp/TODO b/helm/papers/whelp/TODO
deleted file mode 100644 (file)
index bc60361..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-- referenziare (o togliere dalla biblio) paperi {cairns} e {diffeq}
-- conclusioni: case sensitiveness
-- hint: rating (+ esempio ?)
-  - se aggiungiamo rating dobbiamo correggere l'affermazione nelle conclusioni a
-    riguardo delle parti di Whelp che dipendono da CIC
-- spell checking finale