]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b34f0fd) | patch
The same patch I have applied in the previous commit to m:ci has been
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2001 18:47:12 +0000 (18:47 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 8 Nov 2001 18:47:12 +0000 (18:47 +0000)
commitaa5fbd45fd757d44f9a0ea4d2c6b8b24d0dbee9a
treebe43afb711ec3b04777e785803bb07e6367a5948tree | snapshot
parentb34f0fde895c52229d703a031f2b7b800665889ccommit | diff
The same patch I have applied in the previous commit to m:ci has been
applied to m:mn.
helm/style/mmlctop.xsl-0.14 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.