]>
2006-01-08 | Claudio Sacerdoti... | Added $Id$ to every .ml file. | blob | commitdiff | raw |
2005-11-04 | Stefano Zacchiroli | "towards a distribution of matita" changes: | blob | commitdiff | raw | diff to current |
2005-11-03 | Stefano Zacchiroli | better dependencies among modules and symlinking of... | blob | commitdiff | raw | diff to current |
2005-10-07 | Stefano Zacchiroli | added -nodb support | blob | commitdiff | raw | diff to current |
2005-10-05 | Stefano Zacchiroli | - added support for "-nodb" flag (still missing support... | blob | commitdiff | raw | diff to current |
2005-09-20 | Enrico Tassi | all initialization code is now in the new matitaInit... | blob | commitdiff | raw | diff to current |
2005-07-13 | Enrico Tassi | matitamake stuff: | blob | commitdiff | raw | diff to current |