From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 3 Jan 2011 14:00:56 +0000 (+0000)
Subject: Brainstorming
X-Git-Tag: make_still_working~2608
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=945e4ed3f3d068394ccf8c893fd256e645e2d33a;p=helm.git

Brainstorming
---

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