]>
2005-07-27 | Enrico Tassi | fixed matitamake to handle development with names with... | blob | commitdiff | raw |
2005-07-25 | Enrico Tassi | building/cleaning a devel now makes buttons insensitive | blob | commitdiff | raw | diff to current |
2005-07-22 | Andrea Asperti | Removed debugging print. | blob | commitdiff | raw | diff to current |
2005-07-22 | Claudio Sacerdoti... | Big changes: | blob | commitdiff | raw | diff to current |
2005-07-20 | Enrico Tassi | better handling of backgroud compiler process | blob | commitdiff | raw | diff to current |
2005-07-19 | Enrico Tassi | matitac now automatically cleans a non empty baseuri | blob | commitdiff | raw | diff to current |
2005-07-18 | Enrico Tassi | compilation of needed modules now outputs to the log... | blob | commitdiff | raw | diff to current |
2005-07-15 | Enrico Tassi | matitamake is integrated with matita | blob | commitdiff | raw | diff to current |
2005-07-13 | Enrico Tassi | matitamake stuff: | blob | commitdiff | raw | diff to current |