added TODO list

diff --git a/helm/software/matita/dist/TODO b/helm/software/matita/dist/TODO
new file mode 100644 (file)
index 0000000..3cc91c4
--- /dev/null
+++ b/helm/software/matita/dist/TODO
@@ -0,0 +1,20 @@
+TODO:
+- "ncoercion" statement:
+  - type processing to identify source/target
+  - transitive closure (in the new Cic)
+  - generation of hints to implement the pullback
+- principles generation:
+  - pretty printer for new statements required
+- dependency graphs
+- queries (on the trie?)
+- serialization/undo
+  - objects
+  - ng_status (moo/lexicon)
+- Tactics:
+  - satuation
+  - destruct
+
+- Library.copy_at_level
+- NCicRefiner.typeof e inferenza universi
+- hints:
+  - compare with the paper