]>
2005-07-01 | Claudio Sacerdoti... | new targets: | blob | commitdiff | raw |
2005-07-01 | Claudio Sacerdoti... | ... | blob | commitdiff | raw | diff to current |
2005-07-01 | Claudio Sacerdoti... | make all is now nicer | blob | commitdiff | raw | diff to current |
2005-07-01 | Claudio Sacerdoti... | Two targets now: | blob | commitdiff | raw | diff to current |
2005-07-01 | Claudio Sacerdoti... | make MATITAC="../scripts/do_tests.sh ../matitac /dev... | blob | commitdiff | raw | diff to current |
2005-07-01 | Claudio Sacerdoti... | Makefile improved | blob | commitdiff | raw | diff to current |
2005-07-01 | Claudio Sacerdoti... | The library of matita is borned! Long life to the libra... | blob | commitdiff | raw | diff to current |