]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 002ad23) | patch
Minor change.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:51:43 +0000 (10:51 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:51:43 +0000 (10:51 +0000)
commit0e850ea466d664062ad1999e75c60b90aadaa084
tree63aa56e02d0a1b2a3113db2ff0d9b686b6fba26ctree | snapshot
parent002ad23d3995439a265b9879432a30835b8d3395commit | diff
Minor change.
helm/software/components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.