]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df70518) | 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)
commit468a9129943234ff4f9cb8798fe01241c7d65efc
tree41021a4604f4f18996a105240d41042855881328tree | snapshot
parentdf70518efb295cdce60a3df8098ac0a6eef2d9cfcommit | diff
The function uri_of_term now works also if the explciit substitution list
is not empty.
components/cic/cicUtil.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.