]> matita.cs.unibo.it Git - helm.git/commit
removed ancient indirections for gTopLevel
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:08:31 +0000 (12:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 21 Apr 2005 12:08:31 +0000 (12:08 +0000)
commit2af94b81b952606ff67804dbe2410d9b90080e1f
treee18842f9b129e054fb1f4be416c86003618fb463
parent06adf83f05c6a4e7acdfc7f590b6ab0d0e18533f
removed ancient indirections for gTopLevel
helm/ocaml/configure.ac