| 2008-01-10 |
Enrico Tassi | beginning to see the light no-baseuri |
tree | commitdiff |
| 2008-01-09 |
Enrico Tassi | fixed two preblems in matitadep, one coming from the... |
tree | commitdiff |
| 2008-01-09 |
Enrico Tassi | snopshot (working one!) |
tree | commitdiff |
| 2008-01-07 |
Enrico Tassi | more fixes to the cleanu phase |
tree | commitdiff |
| 2008-01-07 |
Enrico Tassi | dama, tests, legacy ported |
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 | 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 | 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 | missing files added |
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 |
|
projects / helm.git / history