From 289644a35778aadc291ade07f131ea03707120cd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 25 Sep 2003 09:12:32 +0000
Subject: Updated from Kit repo

---
 html/Kit/docs/commentary.pdf | Bin 75543 -> 87700 bytes
 html/Kit/dtd/pgip.rnc        |   3 +--
 2 files changed, 1 insertion(+), 2 deletions(-)

(limited to 'html/Kit')

diff --git a/html/Kit/docs/commentary.pdf b/html/Kit/docs/commentary.pdf
index 6f747b27..1fe871f5 100644
Binary files a/html/Kit/docs/commentary.pdf and b/html/Kit/docs/commentary.pdf differ
diff --git a/html/Kit/dtd/pgip.rnc b/html/Kit/dtd/pgip.rnc
index 7db36af7..0555dc21 100644
--- a/html/Kit/dtd/pgip.rnc
+++ b/html/Kit/dtd/pgip.rnc
@@ -4,7 +4,7 @@
 # Authors:  David Aspinall, LFCS, University of Edinburgh       
 #           Christoph Lueth, University of Bremen       
 #
-# Version: pgip.rnc,v 1.36 2003/09/24 19:31:00 da Exp    
+# Version: pgip.rnc,v 1.37 2003/09/25 09:11:49 da Exp    
 # 
 # Status:  Experimental.                                           
 # For additional commentary, see the Proof General Kit white paper,
@@ -13,7 +13,6 @@
 # Advertised version: 1.0
 #
 
-## [ See rnc-temp-devel-notes.txt for possible changes to below - da ]
 
 
 include "pgml.rnc"                           # include PGML grammar
-- 
cgit v1.2.3