changeset 16896 | db2defb39f4c |
parent 16824 | c889f499911c |
child 16958 | 1b4a3110c64a |
--- 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,