# HG changeset patch
# User aspinall
# Date 1172921905 -3600
# Node ID a1cce5b241bec0492834bb07eab2cacb1713241a
# Parent  51997956e7d199a77e1d7fd8383c833d6598b10c
Comment

diff -r 51997956e7d1 -r a1cce5b241be src/Pure/ProofGeneral/pgip_types.ML
--- a/src/Pure/ProofGeneral/pgip_types.ML	Sat Mar 03 09:27:02 2007 +0100
+++ b/src/Pure/ProofGeneral/pgip_types.ML	Sat Mar 03 12:38:25 2007 +0100
@@ -5,7 +5,7 @@
 PGIP abstraction: types and conversions.
 *)
 
-(* TODO: PGML *)
+(* TODO: PGML, proverflag *)
 signature PGIPTYPES =
 sig
     (* Object types: the types of values which can be manipulated externally.