html {<dt> <a href="http://} $env(SERVER_NAME) $env(SCRIPT_NAME)
html / $sessionId {/search.egw/} $setNo + 1
html + [expr $hist($setNo,maxPresent) - 1]
html {<dt> <a href="http://} $env(SERVER_NAME) $env(SCRIPT_NAME)
html / $sessionId {/search.egw/} $setNo + 1
html + [expr $hist($setNo,maxPresent) - 1]
if {[llength $hist($setNo,database)] > 1} {
html ": "
foreach b $hist($setNo,database) {
if {[llength $hist($setNo,database)] > 1} {
html ": "
foreach b $hist($setNo,database) {