# HG changeset patch
# User aspinall
# Date 1121867830 -7200
# Node ID db2defb39f4c380fbd2fd3f924e25de66eec6013
# Parent  df67fc190e068a4f5f9b906ae807a91ca99223b0
Ressurect seq attribute accidently removed

diff -r df67fc190e06 -r db2defb39f4c src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Wed Jul 20 07:40:23 2005 +0200
+++ b/src/Pure/proof_general.ML	Wed Jul 20 15:57:10 2005 +0200
@@ -176,6 +176,7 @@
       "pgip"
       ([("tag",    pgip_tag),
         ("class",  pgip_class),
+	("seq",    string_of_int (pgip_serial())),
         ("id",     !pgip_id)] @
        if_none (Option.map (single o (pair "destid")) (! pgip_refid)) [] @
        (* destid=refid since Isabelle only communicates back to sender,