X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdama%2FTODO;h=353329bea8f4955dd0d9dad22ac0009523c9a21e;hb=7abdf2f1764ba67a48f0829f7a9813ce7426b0c6;hp=6e2ccdd6891938edbcc545cfe185439d039c5e10;hpb=ea7c93bf4177982ff09d429a3a818e8b5f937ea1;p=helm.git

diff --git a/helm/software/matita/dama/TODO b/helm/software/matita/dama/TODO
index 6e2ccdd68..353329bea 100644
--- a/helm/software/matita/dama/TODO
+++ b/helm/software/matita/dama/TODO
@@ -1,2 +1,4 @@
 changing file resets the display-notation ref, but not the GUI tick
 mettere una maction in tutti i body (ma forse non basta)
+la visualizzazione dellea notazione se viene disttivata e poi se ne definisce una... la rende causa
+il fatto che disabilitarla significa rimuovere quelle definite fino ad ora, non disabilitarla in senso proprio.