]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba5c1c8) | patch
print unnamed variables as __n
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Apr 2008 15:24:54 +0000 (15:24 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 9 Apr 2008 15:24:54 +0000 (15:24 +0000)
commit58ce236b589513e779e00759e54e72cbbf2bd2c3
tree857df7a46a5a384f89b4c7cb3726113cb56d2169tree | snapshot
parentba5c1c83e77e701ef11625687ec27931bc4bb944commit | diff
print unnamed variables as __n
helm/software/components/ng_kernel/nCicPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.