projects / helm.git / shortlog
| 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 |