]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6211eb6) | patch
Wrong commit undone.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Dec 2002 10:02:28 +0000 (10:02 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 13 Dec 2002 10:02:28 +0000 (10:02 +0000)
commit630fe1c8b95a138aa1701b4936085cbd01a13d9b
tree612b3daf23db6b7fb975ee7d197eef22111d1ab8tree | snapshot
parent6211eb6044a69430bb69e05ebb9b39994e8f8f20commit | diff
Wrong commit undone.
12 files changed:
helm/gTopLevel/eliminationTactics.cmi [deleted file] blob | history
helm/gTopLevel/eliminationTactics.cmx [deleted file] blob | history
helm/gTopLevel/eliminationTactics.o [deleted file] blob | history
helm/gTopLevel/equalityTactics.cmi [deleted file] blob | history
helm/gTopLevel/equalityTactics.cmx [deleted file] blob | history
helm/gTopLevel/equalityTactics.o [deleted file] blob | history
helm/gTopLevel/introductionTactics.cmi [deleted file] blob | history
helm/gTopLevel/introductionTactics.cmx [deleted file] blob | history
helm/gTopLevel/introductionTactics.o [deleted file] blob | history
helm/gTopLevel/negationTactics.cmi [deleted file] blob | history
helm/gTopLevel/negationTactics.cmx [deleted file] blob | history
helm/gTopLevel/negationTactics.o [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.