]>
2005-07-01 | Enrico Tassi | more makefile work | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | matitaclean is necessary! | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | ... | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | * makefile improved | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | new targets: | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | ... | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | make all is now nicer | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | Two targets now: | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | make MATITAC="../scripts/do_tests.sh ../matitac /dev... | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | ... | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | Makefile improved | tree | commitdiff |
2005-07-01 | Claudio Sacerdoti... | The library of matita is borned! Long life to the libra... | tree | commitdiff |