From 113052b13e29a67b4fe4221e8bf772ad813ebfb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Jul 1999 17:33:19 +0000
Subject: Tweaks and validation fixes.

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

(limited to 'html/features.phtml')

diff --git a/html/features.phtml b/html/features.phtml
index 3171c74d..4c0e1819 100644
--- a/html/features.phtml
+++ b/html/features.phtml
@@ -14,7 +14,7 @@ assistant, and you'd like some of the following features:
   <dd>
   A <em>proof script</em> is a sequence of commands sent to
   a proof assistant to construct a proof, usually stored in
-  a file.  <emScript management</em> connects the editing of a 
+  a file.  <em>Script management</em> connects the editing of a 
   proof script directly to an interactive proof process,
   maintaining consistency between the edit buffer
   and the state of the proof assistant.
-- 
cgit v1.2.3