# HG changeset patch
# User wenzelm
# Date 1183803377 -7200
# Node ID 8a0cbe8f056618436444ec9ef6f799e062f7559e
# Parent  41cdbfb9f77b8b9796b7700be7f48b8eb86a9413
depend on alist.ML, markup.ML;

diff -r 41cdbfb9f77b -r 8a0cbe8f0566 src/Pure/ProofGeneral/pgip_standalone.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";