]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb621b0) | patch
1. param.name=value parameters added to the getpage method
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Apr 2003 17:59:08 +0000 (17:59 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 16 Apr 2003 17:59:08 +0000 (17:59 +0000)
commit5ca525cde291cfdc9eeb6286eba50666ea0620ad
tree8797c5605d8193aae9033f0e4d3d0f2b51a5ba98tree | snapshot
parenteb621b06f0add650cc5f8bbf111ada840b5287a0commit | diff
1. param.name=value parameters added to the getpage method
2. index.html modified to use all the param.name parameters
helm/searchEngine/html/index.html diff | blob | history
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.