Il giorno mer, 29/09/2010 alle 12.09 +0200, Tobias SchlÃŒter ha scritto: > It would certainly be helpful to write every USEd thing only once per > .mod file, even if that doesn't solve all redundancies. > That (I think) would be a big improvement, perhaps to the point of making other schemes redundant... Salvatore