]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35f81e4) | patch
method HTML forced for html output
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jan 2003 15:40:38 +0000 (15:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jan 2003 15:40:38 +0000 (15:40 +0000)
commit4bf7f0ebfdd388499250463242fd5a0dd625e66c
tree91dcd54da23dbd4bda3b9a185a0905d4a85fc0fdtree | snapshot
parent35f81e48378eba29e8b8d6dc0eaf22d20f55f3c7commit | diff
method HTML forced for html output
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.