# HG changeset patch
# User aspinall
# Date 1165266688 -3600
# Node ID d73ab30e82dc3c9657d59ecd36f0b8a3f807ce79
# Parent  9811f1560d38dc2f3b9f3e4bc056898ca7fbfe54
Include pgip markup module

diff -r 9811f1560d38 -r d73ab30e82dc src/Pure/ProofGeneral/pgip.ML
--- a/src/Pure/ProofGeneral/pgip.ML	Mon Dec 04 21:41:47 2006 +0100
+++ b/src/Pure/ProofGeneral/pgip.ML	Mon Dec 04 22:11:28 2006 +0100
@@ -9,14 +9,15 @@
 signature PGIP =
 sig
     include PGIPTYPES
+    include PGIPMARKUP
     include PGIPINPUT
-    include PGIPOUTPUT			    
+    include PGIPOUTPUT
 end
 
 structure Pgip : PGIP = 
 struct
    open PgipTypes
+   open PgipMarkup
    open PgipInput
    open PgipOutput
 end
-