]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19618ce) | patch
The function uri_of_term now works also if the explciit substitution list
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:30:59 +0000 (10:30 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 22 Dec 2006 10:30:59 +0000 (10:30 +0000)
commitfdea894deb3813f1103b0607b5e3854d501d82da
tree1316842507803fc24cca23750135763921b63c52tree | snapshot
parent19618ce16bb4a5fd2f7e88bfe9b5002511197fafcommit | diff
The function uri_of_term now works also if the explciit substitution list
is not empty.
helm/software/components/cic/cicUtil.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.