projects / helm.git / history
| 2005-07-07 | Claudio Sacerdoti... | No more need for symbolic links: .matita, the configura... | blob | commitdiff | raw |
| 2005-07-07 | Claudio Sacerdoti... | matitaclean now removes the .moo file, if existent. | blob | commitdiff | raw | diff to current |
| 2005-07-07 | Enrico Tassi | env creation fix | blob | commitdiff | raw | diff to current |
| 2005-07-07 | Enrico Tassi | now tables are recreated if needed and mattiaclean... | blob | commitdiff | raw | diff to current |
| 2005-07-05 | Stefano Zacchiroli | ported to new getter interface | blob | commitdiff | raw | diff to current |
| 2005-07-04 | Enrico Tassi | matitaclean splitted in matitacleanLib and matitaclean. | blob | commitdiff | raw | diff to current |
| 2005-07-04 | Enrico Tassi | matitaclean now call getter.ls using a buri with a... | 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 | matitaclean anapshot | blob | commitdiff | raw | diff to current |