X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdist%2FTODO;h=ea41b54bad63917a5add7777f1334b0ebc7113ed;hb=72aa8b2087285826b14fc39a389632f0317c51b6;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