...

..

remove wrong install line

more fixes to the cleanu phase

added makefiles to allow make all/opt/clean/clean.opt

fixed ancient bug in cleanup due to too restrictive regex

dama, tests, legacy ported

avoid duplicates

matitadep sould be ok, outputs warning regarding issues and
uses the right paths to include files

better doc and root/depends file parsing

removed all Developments related stuff in glade file,
added matita.includes to the default paths matita uses,
nice error message when a file is not found

fixed error message

cleanup

matita now works reasonably well,
missing roots are still not graphically handled

matita now includes compiling. if the file is not compiled it compiles it,
but if it is compiled it does not check that it may need to be rebuilt

better documentation both with -h and with F1

huge amount of work to make out Make crawl roots and
compile recursively what is needed

irediced usage of matita.includes, that is now set by
matitaInit and should be read once at the beginning of every
main, removed rottener

some work on making the compiler command line cleaner,
moved the .ma instantiation of the Make module in
matitacLib.
still not working:
  ./matitac library/nat/plus/ma
while should work:
  ../matitac nat/plus.ma

get rid of gragrep, matitamake(Lib) and development windows,
added a tutor to create a root file

modifications to make matita behave reasonably, removed some useless windows

missing files added

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.

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

matitadep ported to the new baseuri free model

added support for single target

experimental branch with no set baseuri command and no developments