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