]>
2005-07-25 | Claudio Sacerdoti... | - MatitaLog output redirected to stderr for every messa... | blob | commitdiff | raw |
2005-07-22 | Claudio Sacerdoti... | Big changes: | blob | commitdiff | raw | diff to current |
2005-07-19 | Enrico Tassi | Bug fixed: matitaclean and matitadep now ignores every... | blob | commitdiff | raw | diff to current |
2005-07-18 | Stefano Zacchiroli | merged cic_notation with matita: good luck! | blob | commitdiff | raw | diff to current |
2005-07-13 | Enrico Tassi | matitamake stuff: | blob | commitdiff | raw | diff to current |
2005-07-04 | Claudio Sacerdoti... | "include" command implemented. | blob | commitdiff | raw | diff to current |
2005-07-01 | Enrico Tassi | ma -> moo in dependencies | blob | commitdiff | raw | diff to current |
2005-07-01 | Enrico Tassi | first snapshot of separate compilation | blob | commitdiff | raw | diff to current |
2005-06-30 | Enrico Tassi | first matitadep snapshot | blob | commitdiff | raw | diff to current |