X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdist%2FTODO;h=ea41b54bad63917a5add7777f1334b0ebc7113ed;hb=8de1a75899a83dd31e856804bd448c1bd87d9ab3;hp=3cc91c4868c9c8c840cc2c775f4755f732a0a249;hpb=5627f72c5c6824fe343b23f2bff1d91fb8fec034;p=helm.git

diff --git a/helm/software/matita/dist/TODO b/helm/software/matita/dist/TODO
index 3cc91c486..ea41b54ba 100644
--- 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