]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5618713) | patch
matita*.opt are now considered as if they were matita*
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 Nov 2005 16:58:10 +0000 (16:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 4 Nov 2005 16:58:10 +0000 (16:58 +0000)
commit74f4b0b09b673f3080fadfe2d1a217d9007915df
tree87780b6bc00b9981f7b88fc143d9e2dde0844017tree | snapshot
parent56187138970c77cf6b219224c0dc510fa786e7cdcommit | diff
matita*.opt are now considered as if they were matita*
helm/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.