]> matita.cs.unibo.it Git - helm.git/log
helm.git
16 years agocleanup
Enrico Tassi [Sun, 6 Jan 2008 23:00:55 +0000 (23:00 +0000)]
cleanup

16 years agomatita now works reasonably well,
Enrico Tassi [Sun, 6 Jan 2008 22:59:05 +0000 (22:59 +0000)]
matita now works reasonably well,
missing roots are still not graphically handled

16 years agomatita now includes compiling. if the file is not compiled it compiles it,
Enrico Tassi [Sun, 6 Jan 2008 22:35:53 +0000 (22:35 +0000)]
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

16 years agobetter documentation both with -h and with F1
Enrico Tassi [Sun, 6 Jan 2008 21:43:28 +0000 (21:43 +0000)]
better documentation both with -h and with F1

16 years agohuge amount of work to make out Make crawl roots and
Enrico Tassi [Sun, 6 Jan 2008 20:46:39 +0000 (20:46 +0000)]
huge amount of work to make out Make crawl roots and
compile recursively what is needed

16 years agoirediced usage of matita.includes, that is now set by
Enrico Tassi [Sun, 6 Jan 2008 15:48:38 +0000 (15:48 +0000)]
irediced usage of matita.includes, that is now set by
matitaInit and should be read once at the beginning of every
main, removed rottener

16 years agosome work on making the compiler command line cleaner,
Enrico Tassi [Sat, 5 Jan 2008 16:55:25 +0000 (16:55 +0000)]
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

16 years agoget rid of gragrep, matitamake(Lib) and development windows,
Enrico Tassi [Sat, 5 Jan 2008 15:43:47 +0000 (15:43 +0000)]
get rid of gragrep, matitamake(Lib) and development windows,
added a tutor to create a root file

16 years agomodifications to make matita behave reasonably, removed some useless windows
Enrico Tassi [Sat, 5 Jan 2008 14:31:40 +0000 (14:31 +0000)]
modifications to make matita behave reasonably, removed some useless windows

16 years agomissing files added
Enrico Tassi [Fri, 4 Jan 2008 20:48:01 +0000 (20:48 +0000)]
missing files added

16 years agomake directory erased, no more -bench since it is the default,
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.

16 years agomatitac now compiles like make (recorsively) if needed.
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

16 years agomatitadep ported to the new baseuri free model
Enrico Tassi [Fri, 4 Jan 2008 11:22:57 +0000 (11:22 +0000)]
matitadep ported to the new baseuri free model

16 years agoadded support for single target
Enrico Tassi [Fri, 4 Jan 2008 09:55:23 +0000 (09:55 +0000)]
added support for single target

16 years agoexperimental branch with no set baseuri command and no developments
Enrico Tassi [Fri, 4 Jan 2008 09:38:09 +0000 (09:38 +0000)]
experimental branch with no set baseuri command and no developments