matitaprover is now flexible enough to allow the computation of statistics on

[helm.git] / helm / software / matita / dist / TODO

diff --git a/helm/software/matita/dist/TODO b/helm/software/matita/dist/TODO
index 3cc91c4868c9c8c840cc2c775f4755f732a0a249..ea41b54bad63917a5add7777f1334b0ebc7113ed 100644 (file)
--- a/helm/software/matita/dist/TODO
+++ b/helm/software/matita/dist/TODO
@@ -13,6 +13,8 @@ TODO:
 - Tactics:
   - satuation
   - destruct
+- Semantic selection:
+  - cosa usare per i pattern % ?
 
 - Library.copy_at_level
 - NCicRefiner.typeof e inferenza universi