]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4831d31) | patch
opt goal fixed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Jan 2004 13:36:06 +0000 (13:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 27 Jan 2004 13:36:06 +0000 (13:36 +0000)
commite17b6a0433eab10b57954fd6936907bf3bcaada8
tree386a48f979c0e3ba2cd9d68c5675d03b2a640b60tree | snapshot
parent4831d31010f88f277a41ad32cb2c58d3f705820fcommit | diff
opt goal fixed
helm/ocaml/cic_disambiguation/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.