1 files changed, 0 insertions, 30 deletions
diff --git a/html/head.phtml b/html/head.phtml
deleted file mode 100644
index c40263e7..00000000
--- a/html/head.phtml
+++ /dev/null
@@ -1,30 +0,0 @@
-<head>
-    <title><?php print $title ?></title>
-    <meta name="author" content="David Aspinall <da@dcs.ed.ac.uk>">
-    <meta name="keywords" content="Isabelle, LEGO, Coq, Emacs, XEmacs, 
-      Interface, Theorem Prover, GUI, David Aspinall">
-    <meta name="description" content="Proof General is an Emacs based 
-      generic interface for theorem provers">
-<?php
-/* Did have linked style sheet, with:
- *   <link rel="stylesheet" href="proofgen.css" type="text/css">
- * Instead, its embedded it to save another server access.
- */
- print "<style type=\"text/css\">\n<!--";
- include("proofgen.css");
- print "-->\n</style>\n";
-?>
-</head>
-<body
- bgcolor="#2D1D03"
- background="images/canvaswallpaper.jpg"
- text="#FFFFFF"
- link="#FFD820"
- vlink="#FFD820"
- alink="#FFF030"
- >
- <!-- Duplicate some style entries in body elt to support Version 3 browsers. 
-      FIXME: Shouldn't serve this mess up to V4s and later. -->
-<!-- <font face="Verdana, Arial, LucidaSans, sans-serif;">-->
-
-