]> matita.cs.unibo.it Git - helm.git/log
helm.git
16 years agocontribs should now compile
Enrico Tassi [Thu, 10 Jan 2008 10:45:04 +0000 (10:45 +0000)]
contribs should now compile

16 years ago...
Enrico Tassi [Wed, 9 Jan 2008 13:11:44 +0000 (13:11 +0000)]
...

16 years agono more matitaprover
Enrico Tassi [Wed, 9 Jan 2008 13:11:22 +0000 (13:11 +0000)]
no more matitaprover

16 years agoported to the new make system
Enrico Tassi [Wed, 9 Jan 2008 13:10:27 +0000 (13:10 +0000)]
ported to the new make system

16 years agofixed two preblems in matitadep, one coming from the dep-parser and
Enrico Tassi [Wed, 9 Jan 2008 13:05:34 +0000 (13:05 +0000)]
fixed two preblems in matitadep, one coming from the dep-parser and
the other one from a wrong path normalization routine

16 years agosnopshot (working one!)
Enrico Tassi [Wed, 9 Jan 2008 10:44:39 +0000 (10:44 +0000)]
snopshot (working one!)

16 years agofixed typo
Enrico Tassi [Mon, 7 Jan 2008 16:47:07 +0000 (16:47 +0000)]
fixed typo

16 years agodebian package works again
Enrico Tassi [Mon, 7 Jan 2008 16:38:02 +0000 (16:38 +0000)]
debian package works again

16 years ago...
Enrico Tassi [Mon, 7 Jan 2008 15:20:28 +0000 (15:20 +0000)]
...

16 years ago..
Enrico Tassi [Mon, 7 Jan 2008 15:19:43 +0000 (15:19 +0000)]
..

16 years agoremove wrong install line
Enrico Tassi [Mon, 7 Jan 2008 15:18:45 +0000 (15:18 +0000)]
remove wrong install line

16 years agomore fixes to the cleanu phase
Enrico Tassi [Mon, 7 Jan 2008 15:06:22 +0000 (15:06 +0000)]
more fixes to the cleanu phase

16 years agoadded makefiles to allow make all/opt/clean/clean.opt
Enrico Tassi [Mon, 7 Jan 2008 15:01:06 +0000 (15:01 +0000)]
added makefiles to allow make all/opt/clean/clean.opt

16 years agofixed ancient bug in cleanup due to too restrictive regex
Enrico Tassi [Mon, 7 Jan 2008 14:45:41 +0000 (14:45 +0000)]
fixed ancient bug in cleanup due to too restrictive regex

16 years agodama, tests, legacy ported
Enrico Tassi [Mon, 7 Jan 2008 12:58:43 +0000 (12:58 +0000)]
dama, tests, legacy ported

16 years agoavoid duplicates
Enrico Tassi [Mon, 7 Jan 2008 12:15:05 +0000 (12:15 +0000)]
avoid duplicates

16 years agomatitadep sould be ok, outputs warning regarding issues and
Enrico Tassi [Mon, 7 Jan 2008 10:22:10 +0000 (10:22 +0000)]
matitadep sould be ok, outputs warning regarding issues and
uses the right paths to include files

16 years agobetter doc and root/depends file parsing
Enrico Tassi [Mon, 7 Jan 2008 09:32:21 +0000 (09:32 +0000)]
better doc and root/depends file parsing

16 years agoremoved all Developments related stuff in glade file,
Enrico Tassi [Mon, 7 Jan 2008 09:01:29 +0000 (09:01 +0000)]
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

16 years agofixed error message
Enrico Tassi [Sun, 6 Jan 2008 23:05:46 +0000 (23:05 +0000)]
fixed error message

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