]> matita.cs.unibo.it Git - helm.git/log
helm.git
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