--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/page/main-layout/template.html Thu Dec 09 11:34:32 1999 +0100
@@ -0,0 +1,74 @@
+<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
+<html>
+ <!-- _GP_ include("$pwd/common/functions.pl") -->
+ <head>
+ <title> <!-- _GP_ content("title") --> </title>
+ <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
+ <!-- _GP_ content("meta") -->
+ <script language="JavaScript">
+ <!--
+ if( top.parent.frames.length > 0)
+ top.parent.location.href = self.location.href;
+ // -->
+ </script>
+ </head>
+
+ <body text="#000000" bgcolor="#FFFFFF" link="#0000FF" vlink="#000099" alink="#404040">
+
+ <table border="0" cellspacing="5" width="100%" height="100%">
+
+ <tr>
+ <td width="20%" valign="top" bgcolor="#aacccc">
+ <!-- _GP_ include("$pwd/main-layout/navigation.html") -->
+ </td>
+
+ <td width="80%" valign="top">
+
+ <center>
+ <table width="95%" border="0" cellspacing="10" cellpadding="10">
+ <tr>
+ <td width="60%" align="center" bgcolor="#aacccc">
+ <b>
+ <font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font>
+ </b>
+ </td>
+ <td width="40%" valign="middle" align="center" nowrap>
+ <a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
+ border=0 width="48" height="59" alt="[Munich logo]"></a>
+
+ <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img
+ src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a>
+ </td>
+ </tr>
+ </table>
+ </center>
+
+ <p>
+
+ <center>
+ <table width="99%" border="0" cellspacing="0" cellpadding="10">
+ <tr>
+ <td align="left">
+ <!-- _GP_ content("body") -->
+ </td>
+ </tr>
+ </table>
+ </center>
+ </td>
+ </tr>
+
+ <tr>
+ <td align="right" colspan="2" height="20">
+ <table border="0" cellpadding="4" cellspacing="0">
+ <tr><td>
+ <font size="-1" face="helvetica, arial">
+ last update at <!-- _GP_ when -->
+ </font>
+ </td></tr>
+ </table>
+ </td>
+ </tr>
+
+ </table>
+ </body>
+</html>