]> matita.cs.unibo.it Git - helm.git/commit
Last crazy commit reverted.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Jul 2007 09:56:42 +0000 (09:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Jul 2007 09:56:42 +0000 (09:56 +0000)
commitc9cd5b62c814a9f3b90c2e1d96e4c4376af8f80f
tree16b1bcaf325596938733e6265cc586ef250b0495
parent2ac24b52dbb918e56b6754524881007c6cd088b0
Last crazy commit reverted.
helm/software/matita/help/C/matita.xml
helm/software/matita/help/C/tactics_quickref.xml