]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cf3cc4) | patch
Added preprocess feature to "getpage" method. Using this feature you can
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 16:58:14 +0000 (16:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Apr 2003 16:58:14 +0000 (16:58 +0000)
commiteb621b06f0add650cc5f8bbf111ada840b5287a0
treeccd211d58bb3e5a79f598d54a1eb9917db1141e2tree | snapshot
parent7cf3cc4096a5c37f2302baefca4388f738da3af3commit | diff
Added preprocess feature to "getpage" method. Using this feature you can
fill "@processorURL@" 'holes' in .html javascript pages.
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.