depend on alist.ML, markup.ML;

--- a/src/Pure/ProofGeneral/pgip_standalone.ML	Sat Jul 07 12:16:16 2007 +0200
+++ b/src/Pure/ProofGeneral/pgip_standalone.ML	Sat Jul 07 12:16:17 2007 +0200
@@ -15,6 +15,8 @@
 
 use "General/basics.ML";
 use "library.ML";
+use "General/alist.ML";
+use "General/markup.ML";
 use "General/position.ML";
 use "General/path.ML";     (* used directly *)
 use "General/table.ML";