]>
2019-09-27 | Andrea Berlingieri | Many changes | tree | commitdiff |
2019-09-27 | Andrea Berlingieri | Many changes | tree | commitdiff |
2016-05-18 | Ferruccio Guidi | bugfix ind docbook code for the relise of matita 0... | tree | commitdiff |
2012-04-17 | Claudio Sacerdoti... | Fixed w.r.t. new yelp. | tree | commitdiff |
2011-11-21 | Claudio Sacerdoti... | {pattern} => in pattern; | tree | commitdiff |
2011-11-18 | Enrico Tassi | hints | tree | commitdiff |
2011-11-18 | Enrico Tassi | coercions | tree | commitdiff |
2011-11-18 | Wilmer Ricciotti | Added help for discriminator and inverter. | tree | commitdiff |
2011-11-18 | Claudio Sacerdoti... | ... | tree | commitdiff |
2011-11-18 | Claudio Sacerdoti... | ... | tree | commitdiff |
2011-11-18 | Claudio Sacerdoti... | Auto parameters documented for 0.99.1. | tree | commitdiff |
2011-11-18 | Claudio Sacerdoti... | For release 0.99.1. | tree | commitdiff |
2010-09-30 | Claudio Sacerdoti... | Stuff moved from old Matita. | tree | commitdiff |