]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9ee2fa1) | patch
Fixed. It was no more working since the move of the tactics under the ocaml
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jan 2003 17:30:33 +0000 (17:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jan 2003 17:30:33 +0000 (17:30 +0000)
commitab573d2f8ee8d82771ef7a8a925d9449cf225ce9
tree2c04cda9d9656b9538d1d0d61fd71418b9df130etree | snapshot
parent9ee2fa118515bef356198ee4a72e42a67f0e2695commit | diff
Fixed. It was no more working since the move of the tactics under the ocaml
repository.
helm/gTopLevel/.depend diff | blob | history
helm/gTopLevel/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.