]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dd2a99) | patch
Sometimes it is useful to be able to print the subst without applying it.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 10:17:49 +0000 (10:17 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 10:17:49 +0000 (10:17 +0000)
commit40ebec98f53ac1a9a1e7a462cbf0dd3e3d8d42fd
tree0914733d7034170136d7f547033276049755114btree | snapshot
parent6dd2a996e8443d57fa3e3d0988829d01485d838acommit | diff
Sometimes it is useful to be able to print the subst without applying it.
helm/software/components/ng_kernel/nCicPp.ml diff | blob | history
helm/software/components/ng_kernel/nCicPp.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.