]>
2011-06-08 | Wilmer Ricciotti | Removed dependency of Matitaweb from GTK libraries. | blob | commitdiff | raw |
2011-06-07 | Wilmer Ricciotti | Some changes in the Makefile for matitaweb. | blob | commitdiff | raw | diff to current |
2011-02-21 | Wilmer Ricciotti | fork for Matita version B | blob | commitdiff | raw | diff to current |