]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e4ae880) | patch
The interface sorts the entryes in the trees
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 12:19:43 +0000 (12:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 12:19:43 +0000 (12:19 +0000)
commit413a5e0b1fde6296a09a6651cef7948bc408c6e4
tree7a4a35396c655d5c41ee37c9fdde9fb5fcfe0a2dtree | snapshot
parente4ae880d435c1b46be0e900a675d2e6e4aaac837commit | diff
The interface sorts the entryes in the trees
helm/interface/Makefile diff | blob | history
helm/interface/mmlinterface.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.