]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d07851a) | patch
* oo interface
authorLuca Padovani <luca.padovani@unito.it>
Fri, 17 Oct 2003 09:53:46 +0000 (09:53 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Fri, 17 Oct 2003 09:53:46 +0000 (09:53 +0000)
commitb488a9d40c305bced383a8ac2b38ea960d50041f
treefcf6262fef0d82e671c7f0fb420e69e1f585927atree | snapshot
parentd07851ade676917a00ad479fb427dff0dfd06ff3commit | diff
* oo interface
helm/DEVEL/rdfly/query.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.