From 2ed53db7506dd4811fbe6c3fac64c3703d1169a8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jun 1999 14:04:28 +0000
Subject: New web pages

---
 html/head.phtml | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 html/head.phtml

(limited to 'html/head.phtml')
diff --git a/html/head.phtml b/html/head.phtml
new file mode 100644
index 00000000..8a583feb
--- /dev/null
+++ b/html/head.phtml
@@ -0,0 +1,17 @@
+<head>
+    <title>Proof General --- Organize your Proofs!</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>
-- 
cgit v1.2.3

