From 5767f4497aaffa204a5f333ba80a09916d87e920 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 May 2000 12:11:46 +0000
Subject: Reference tweak

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

(limited to 'html')

diff --git a/html/doc.phtml b/html/doc.phtml
index bd3b1abc..4a496cac 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -49,7 +49,7 @@ list</a>.
     <a href="papers/pgoutline.ps.gz">Proof General: A Generic Tool for
      Proof Development</a>.
      <i>Tools and Algorithms for the Construction and 
-      Analysis of Systems, Proc TACAS 2000</i>, LNCS 1785, pp 38-42.
+      Analysis of Systems, Proc TACAS 2000</i>, LNCS 1785.
     <br>
     Here are some <a href="papers/pgtalk.pdf">slides</a> 
     I used for this talk and some other presentations of Proof General.
-- 
cgit v1.2.3