]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebc030d) | patch
Less feedback during removal of objects.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 23 Sep 2005 14:30:00 +0000 (14:30 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 23 Sep 2005 14:30:00 +0000 (14:30 +0000)
commit1b8e1a82cc00b265f2d36b2ff3d363f61cb679ea
tree120f99e1508ea37e0090312a1519419d7c049f08tree | snapshot
parentebc030d495380b9f9c3b1f2a8673d84555744dd1commit | diff
Less feedback during removal of objects.
helm/matita/matitaSync.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.