diff options
| author | David Aspinall | 2000-09-28 15:01:50 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-28 15:01:50 +0000 |
| commit | bd7aa7923a25d16207842f9f3d6b773c2fc6fa58 (patch) | |
| tree | 8f5733bf63e8c880e65472b3ebf745b1026698e3 /html/head.phtml | |
| parent | 2c253444d0b93cf7628ab030e6a5f1ad24fa20fd (diff) | |
Renamed file
Diffstat (limited to 'html/head.phtml')
| -rw-r--r-- | html/head.phtml | 30 |
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;">--> - - |