From d7166d06af77d91ef9eed7a2130ed2b41cac9930 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Feb 2000 18:33:38 +0000
Subject: Minor improvements

---
 html/projects.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/html/projects.phtml b/html/projects.phtml
index 7ba14a89..4a364098 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -120,7 +120,7 @@ A worthwhile project would be to rewrite the core script management
 features of Proof General so that they could work for arbitrary
 interactive scripting languages, and instantiate to Proof General as
 well as languages such as ML, Haskell, LISP, Scheme, Python, and
-even Emacs Lisp itself!
+even Emacs Lisp itself.
 </p>
 <p>
 An alternative version of this project is to implement a 
-- 
cgit v1.2.3