]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0066b57) | patch
Some simplifications (redundant code).
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Jun 2001 10:48:59 +0000 (10:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Jun 2001 10:48:59 +0000 (10:48 +0000)
commit16b80a41a45f1df61e97057c1af1ce5114a7f4cd
tree06c014a967fd86057c5ab5cb9ed1c80309176ae0tree | snapshot
parent0066b57c9f2433fc153102ff2a387208e9cb3a70commit | diff
Some simplifications (redundant code).
helm/on-line/html/library/control.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.