]> matita.cs.unibo.it Git - helm.git/history - matita/help/C/tactic_quickref.xml
- "linear" flag added to lapply (automatic clearing)
[helm.git] / matita / help / C / tactic_quickref.xml
2006-06-28 Ferruccio Guidi- "linear" flag added to lapply (automatic clearing)
2006-06-27 Ferruccio Guidi- decompose now runs with no arguments (operates on...
2006-06-20 Ferruccio Guidi- fwd concrete syntax fixed
2006-06-13 Stefano Zacchiroliadded generation of quick reference card of tactic...