]> matita.cs.unibo.it Git - helm.git/history - matita/matita/help
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
syntactic components detached from basic_2 become static_2
[helm.git] / matita / matita / help /
2016-05-18 Ferruccio Guidibugfix 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 Tassihints tree | commitdiff
2011-11-18 Enrico Tassicoercions tree | commitdiff
2011-11-18 Wilmer RicciottiAdded 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
Unnamed repository; edit this file 'description' to name the repository.