]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ec7e76) | patch
mmlinterface.ml : updated to the new binding
authorLuca Padovani <luca.padovani@unito.it>
Fri, 1 Dec 2000 16:04:39 +0000 (16:04 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 1 Dec 2000 16:04:39 +0000 (16:04 +0000)
commitf1e359680060835d3cd2f3859fa2896a1d9ac1ae
treefaabb08cd91bfd1befc40f133c34d6542f4a3607tree | snapshot
parent0ec7e7612dc32a667e315ed2309d0c77a081d470commit | diff
mmlinterface.ml : updated to the new binding
helm/interface/Makefile diff | blob | history
helm/interface/isterix diff | blob | history
helm/interface/mmlinterface.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.