]> matita.cs.unibo.it Git - helm.git/commit
cosmetic fix
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 12:21:32 +0000 (12:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 12:21:32 +0000 (12:21 +0000)
commita6f4f8cf8a6b008b7df2c585b04ce27c7be3cc93
treea028fb6dd0330bf8fc595280f6b238d817fc4609
parentfa9fe3e5f43f08287f8f10ed697e88952a75fb6d
cosmetic fix
helm/ocaml/tactics/Makefile