X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FDA_FARE;h=18dd5614045a38b544b4155eb315f7afdbd6ceeb;hb=945e4ed3f3d068394ccf8c893fd256e645e2d33a;hp=da382c83de74b94a2761ea744a9f9b6c494dc373;hpb=5280ec9794de75e63ffc01bddf1756ebcca02be0;p=helm.git

diff --git a/matita/matita/DA_FARE b/matita/matita/DA_FARE
index da382c83d..18dd56140 100644
--- a/matita/matita/DA_FARE
+++ b/matita/matita/DA_FARE
@@ -19,3 +19,11 @@ matitac: non entra nelle dir
 matita: due file anonimi stessa base uri
 matita: il pulsante close non si ingrigisce quando non ci sono piu' script
         aperti
+
+A) passare lo status con il metodo di pretty-printing in giro ovunque
+B) rendere globali le informazioni sull'inclusione :-( e combinarle con il
+   "non caricare oggetti non ancora inclusi" (oppure auto-includere in un
+   qualche modo) per poter ri-compilare un file. Dovrebbe risolvere due scenari:
+   1) A -> C, B -> C, C e' caricato, carico oggetti di C, B carica C
+      ricompilandolo e mischio oggetti
+   2) A -> C, edito A, torno in cima ad A, apro C, non mi fa editare C