]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12aedbd) | patch
- passes subst to FreshNameGenerator
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:30:31 +0000 (12:30 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Nov 2004 12:30:31 +0000 (12:30 +0000)
commita482ae2ca1849bfe49b057411b6d0af98440e9c0
treeb1f207c1b01dc34072e6d9881bfe3b261846bfd6tree | snapshot
parent12aedbd4d31929a29b46afada84854e65b790b40commit | diff
- passes subst to FreshNameGenerator
- removed some old debugging prints
helm/gTopLevel/gTopLevel.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.