]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2be6fcd) | patch
drop_coercion (d_c) inserted in every stylesheet chain
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 15:16:28 +0000 (15:16 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 29 Jun 2001 15:16:28 +0000 (15:16 +0000)
commita193d8a38b0598bfafc3309dc4f5346987b33e58
tree0ea19f051162549b2f0079b6c2e317521237e674tree | snapshot
parent2be6fcdb0505a90692c45e69e696d0ee5f53aa16commit | diff
drop_coercion (d_c) inserted in every stylesheet chain
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.