]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/tactics/Makefile
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa9fe3e) | patch
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
treea028fb6dd0330bf8fc595280f6b238d817fc4609tree | snapshot
parentfa9fe3e5f43f08287f8f10ed697e88952a75fb6dcommit | diff
cosmetic fix
helm/ocaml/tactics/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.