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
-