Brainstorming

[helm.git] / matita / matita / DA_FARE

diff --git a/matita/matita/DA_FARE b/matita/matita/DA_FARE
index da382c83de74b94a2761ea744a9f9b6c494dc373..18dd5614045a38b544b4155eb315f7afdbd6ceeb 100644 (file)
--- 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