Enrico Tassi [Fri, 4 Jan 2008 18:31:43 +0000 (18:31 +0000)]
make directory erased, no more -bench since it is the default,
-v activates verbose mode, no more "matita.verbosity" and "matita.bench"
just "matita.verbose". erased matitatop.
Enrico Tassi [Fri, 4 Jan 2008 16:32:27 +0000 (16:32 +0000)]
matitac now compiles like make (recorsively) if needed.
baseuri is not a non optional field of the grafite status, since
you can always know it at the beginnig