| 2008-01-07 |
Enrico Tassi | dama, tests, legacy ported
|
commit | commitdiff | tree |
| 2008-01-07 |
Enrico Tassi | avoid duplicates
|
commit | commitdiff | tree |
| 2008-01-07 |
Enrico Tassi | matitadep sould be ok, outputs warning regarding issues and
|
commit | commitdiff | tree |
| 2008-01-07 |
Enrico Tassi | better doc and root/depends file parsing
|
commit | commitdiff | tree |
| 2008-01-07 |
Enrico Tassi | removed all Developments related stuff in glade file,
|
commit | commitdiff | tree |
| 2008-01-06 |
Enrico Tassi | fixed error message
|
commit | commitdiff | tree |
| 2008-01-06 |
Enrico Tassi | cleanup
|
commit | commitdiff | tree |
| 2008-01-06 |
Enrico Tassi | matita now works reasonably well,
|
commit | commitdiff | tree |
| 2008-01-06 |
Enrico Tassi | matita now includes compiling. if the file is not compiled...
|
commit | commitdiff | tree |
| 2008-01-06 |
Enrico Tassi | better documentation both with -h and with F1
|
commit | commitdiff | tree |
| 2008-01-06 |
Enrico Tassi | huge amount of work to make out Make crawl roots and
|
commit | commitdiff | tree |
| 2008-01-06 |
Enrico Tassi | irediced usage of matita.includes, that is now set by
|
commit | commitdiff | tree |
| 2008-01-05 |
Enrico Tassi | some work on making the compiler command line cleaner,
|
commit | commitdiff | tree |
| 2008-01-05 |
Enrico Tassi | get rid of gragrep, matitamake(Lib) and development...
|
commit | commitdiff | tree |
| 2008-01-05 |
Enrico Tassi | modifications to make matita behave reasonably, removed...
|
commit | commitdiff | tree |
| 2008-01-04 |
Enrico Tassi | missing files added
|
commit | commitdiff | tree |
| 2008-01-04 |
Enrico Tassi | make directory erased, no more -bench since it is the...
|
commit | commitdiff | tree |
| 2008-01-04 |
Enrico Tassi | matitac now compiles like make (recorsively) if needed.
|
commit | commitdiff | tree |
| 2008-01-04 |
Enrico Tassi | matitadep ported to the new baseuri free model
|
commit | commitdiff | tree |
| 2008-01-04 |
Enrico Tassi | added support for single target
|
commit | commitdiff | tree |
| 2008-01-04 |
Enrico Tassi | experimental branch with no set baseuri command and...
|
commit | commitdiff | tree |
|
projects / helm.git / search