From 440fec0fec99a9d48bd9d0efc6b9efd9f3783a4b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 26 May 2006 13:19:05 +0000
Subject: Updated.

---
 README-3.6pre      | 9 ---------
 generic/pg-pgip.el | 2 +-
 2 files changed, 1 insertion(+), 10 deletions(-)

diff --git a/README-3.6pre b/README-3.6pre
index 1316ee3e..38bc3e58 100644
--- a/README-3.6pre
+++ b/README-3.6pre
@@ -6,15 +6,6 @@ support additional features in Isabelle 2005.
 
 Compatibility has been improved for more Emacs versions.
 
-=============
-
-Things to do for 3.6 final:
-
- -- nuisance fix needed for docstring magic because of pruning of spaces 
-    from empty lines in all docstrings by Stefan Monnier (argh!)
- -- merge/fix of patch by Claire Quigley
- -- Coq updates check: symbols, linewidth, file handling
-
 
 [da, 10/8/05].
 
diff --git a/generic/pg-pgip.el b/generic/pg-pgip.el
index e59b9ad6..4a4dcccc 100644
--- a/generic/pg-pgip.el
+++ b/generic/pg-pgip.el
@@ -55,7 +55,7 @@ The list PGIPS may contain one or more PGIP packets, whose contents are processe
   (let* ((name	   (xml-node-name pgip))
 	 (tag      (pg-xml-get-attr 'tag pgip 'optional))
 	 (id	   (pg-xml-get-attr 'id pgip 'optional))
-	 (class	   (pg-xml-get-attr 'class pgip 'notreallyoptional))
+	 (class	   (pg-xml-get-attr 'messageclass pgip 'notreallyoptional))
 	 (refseq   (pg-xml-get-attr 'refseq pgip 'optional))
 	 (refid    (pg-xml-get-attr 'refid pgip 'optional))
 	 (seq	   (pg-xml-get-attr 'seq pgip 'notreallyoptional)))
-- 
cgit v1.2.3