From 0a43ddd2a619ccb75bb3ae52e1c3846e346a5473 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 17 Feb 2000 20:02:40 +0000
Subject: Typo

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

(limited to 'html')

diff --git a/html/projects.phtml b/html/projects.phtml
index c6fc1fab..022aa052 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -142,7 +142,7 @@ knowledge of scripting languages desirable.
 <p>
 Proof General has very limited mechanisms for helping the user find
 theorems and definitions during a proof.  It has notion of displaying
-a ``current context'' for a proof, and configuration with a proof
+a "current context" for a proof, and configuration with a proof
 engine command for searching for theorems.  It would be useful to
 extend these facilities with a <i>theory browser</i> for investigating
 the theories currently defined in a running proof assistant.  This
-- 
cgit v1.2.3