<html>
-<head>
-<title> WWW/Z39.50 Gateway History</title>
-</head>
-<body>
{
-# $Id: history.egw,v 1.5 1996/01/26 15:50:06 adam Exp $
+# $Id: history.egw,v 1.8 1996/03/14 11:50:44 adam Exp $
if {[info commands saveState] == ""} {
source z39util.tcl
+ if {![info exists debug]} {
+ session-lost
+ egw_abort
+ }
}
+ html {<head><title> WWW/Z39.50 Gateway History</title></head><body>}
+
set useIcons 1
- button-europagate
- button-new-target 0
+ button-main
+ button-new-target
z39history
set useIcons 0
- button-europagate
- button-new-target 0
-}
-{
+ button-main
+ button-new-target
+
catch maintenance
if {!$debug} return
html "<hr>\n"