]> matita.cs.unibo.it Git - helm.git/commit
- added some documentation on the fwd tatcic
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jun 2006 10:51:22 +0000 (10:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 20 Jun 2006 10:51:22 +0000 (10:51 +0000)
commit0fe1347ecafd65a4be26f85595032653f81d1ab3
tree314ff5051653383303a230a3d0b97e9d5e8f6e25
parentf511e0dbbbc4c9a5d425076307c935062d78809d
- added some documentation on the fwd tatcic
- lapply concrete imput syntax fixed
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/matita/help/C/sec_tactics.xml