2008-01-10 |
Enrico Tassi | beginning to see the light no-baseuri |
tree | commitdiff |
2008-01-10 |
Enrico Tassi | contribs should now compile |
tree | commitdiff |
2008-01-09 |
Enrico Tassi | ... |
tree | commitdiff |
2008-01-09 |
Enrico Tassi | no more matitaprover |
tree | commitdiff |
2008-01-09 |
Enrico Tassi | ported to the new make system |
tree | commitdiff |
2008-01-09 |
Enrico Tassi | snopshot (working one!) |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | fixed typo |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | debian package works again |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | ... |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | remove wrong install line |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | more fixes to the cleanu phase |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | added makefiles to allow make all/opt/clean/clean.opt |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | fixed ancient bug in cleanup due to too restrictive... |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | dama, tests, legacy ported |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | avoid duplicates |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | matitadep sould be ok, outputs warning regarding issues and |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | better doc and root/depends file parsing |
tree | commitdiff |
2008-01-07 |
Enrico Tassi | removed all Developments related stuff in glade file, |
tree | commitdiff |
2008-01-06 |
Enrico Tassi | fixed error message |
tree | commitdiff |
2008-01-06 |
Enrico Tassi | cleanup |
tree | commitdiff |
2008-01-06 |
Enrico Tassi | matita now works reasonably well, |
tree | commitdiff |
2008-01-06 |
Enrico Tassi | matita now includes compiling. if the file is not compi... |
tree | commitdiff |
2008-01-06 |
Enrico Tassi | better documentation both with -h and with F1 |
tree | commitdiff |
2008-01-06 |
Enrico Tassi | huge amount of work to make out Make crawl roots and |
tree | commitdiff |
2008-01-06 |
Enrico Tassi | irediced usage of matita.includes, that is now set by |
tree | commitdiff |
2008-01-05 |
Enrico Tassi | some work on making the compiler command line cleaner, |
tree | commitdiff |
2008-01-05 |
Enrico Tassi | get rid of gragrep, matitamake(Lib) and development... |
tree | commitdiff |
2008-01-05 |
Enrico Tassi | modifications to make matita behave reasonably, removed... |
tree | commitdiff |
2008-01-04 |
Enrico Tassi | make directory erased, no more -bench since it is the... |
tree | commitdiff |
2008-01-04 |
Enrico Tassi | matitac now compiles like make (recorsively) if needed. |
tree | commitdiff |
2008-01-04 |
Enrico Tassi | matitadep ported to the new baseuri free model |
tree | commitdiff |
2008-01-04 |
Enrico Tassi | experimental branch with no set baseuri command and... |
tree | commitdiff |
|