]> matita.cs.unibo.it Git - helm.git/history - matita/help/C/tactic_quickref.xml
- fwd concrete syntax fixed
[helm.git] / matita / help / C / tactic_quickref.xml
2006-06-20 Ferruccio Guidi- fwd concrete syntax fixed
2006-06-13 Stefano Zacchiroliadded generation of quick reference card of tactic...