]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e4b2d0) | patch
Selection fixed
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 9 Nov 2000 12:32:49 +0000 (12:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 9 Nov 2000 12:32:49 +0000 (12:32 +0000)
commit0ff06c9ed5e1f61dbf38c06ff0885cec794d7250
tree151444dbcb75e2fae8e970469e717d2321d1cd42tree | snapshot
parent0e4b2d04d664c513754c9308fc0a4923aa56783ecommit | diff
Selection fixed
helm/interface/mmlinterface.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.