]> matita.cs.unibo.it Git - helm.git/history - matita/matita/help
Progress
[helm.git] / matita / matita / help /
2012-04-17 Claudio Sacerdoti... Fixed w.r.t. new yelp.
2011-11-21 Claudio Sacerdoti... {pattern} => in pattern;
2011-11-18 Enrico Tassihints
2011-11-18 Enrico Tassicoercions
2011-11-18 Wilmer RicciottiAdded help for discriminator and inverter.
2011-11-18 Claudio Sacerdoti... ...
2011-11-18 Claudio Sacerdoti... ...
2011-11-18 Claudio Sacerdoti... Auto parameters documented for 0.99.1.
2011-11-18 Claudio Sacerdoti... For release 0.99.1.
2010-09-30 Claudio Sacerdoti... Stuff moved from old Matita.