]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36534d8) | patch
Back to -for-pack (for ocaml-3.09.1)
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 13:32:36 +0000 (13:32 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 12 Jan 2006 13:32:36 +0000 (13:32 +0000)
commit99e61d93dbda938cdeaaf4a984bae5cb914d6747
treeb3448d3facb98ca1b101d53f2d91a40f29e28508tree | snapshot
parent36534d8daa282465bb40f457a1ca58e18f6731efcommit | diff
Back to -for-pack (for ocaml-3.09.1)
helm/ocaml/paramodulation/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.