]> matita.cs.unibo.it Git - helm.git/commit
New profile param: searchengineURL
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 13:45:08 +0000 (13:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 10 Jun 2004 13:45:08 +0000 (13:45 +0000)
commita4d808ae26c008ecd87c631dfb955a22e018352c
tree9d506bd29201ad2695f87e641bc631c092c6943f
parent69bc5e13a65c76bcda125c9f11ef51fc0343ae12
New profile param: searchengineURL
helm/on-line/html/configuration.html
helm/on-line/javascript/prelude.js