From 2b9401a8939d55105dd02d87f2d978f9924f8ced Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 20:35:13 +0000
Subject: Typo

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

(limited to 'html')

diff --git a/html/news.phtml b/html/news.phtml
index 19f7c23c..ae3a823f 100644
--- a/html/news.phtml
+++ b/html/news.phtml
@@ -21,7 +21,7 @@ version.
 New!  With Proof General 3.0, adapting to a new prover is easier
 than ever before!
 It includes an 
- <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "example instance"); ?>
+ <?php fileshow("ProofGeneral/demoisa/demoisa-easy.el", "example instance ");?>
 of Proof General for Isabelle, which 
 configures the main core of the interface with less than 30 lines of
 code.  Not bad for getting about 4000 lines worth of code in benefit!
-- 
cgit v1.2.3