reworked freescale stuff to put \m as a left parameter

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

diff --git a/helm/software/matita/dama/TODO b/helm/software/matita/dama/TODO
index 6e2ccdd6891938edbcc545cfe185439d039c5e10..353329bea8f4955dd0d9dad22ac0009523c9a21e 100644 (file)
--- 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.