--- a/src/Pure/ProofGeneral/TODO	Sat Feb 17 18:00:59 2007 +0100
+++ b/src/Pure/ProofGeneral/TODO	Sat Feb 17 18:01:22 2007 +0100
@@ -1,13 +1,9 @@
 Major:
 
- Complete pgip_types: add PGML and objtypes
-
+ Complete pgip_types:  add PGML and objtypes
  Complete pgip_markup: provide markup abstraction for parsing.ML
 
 Minor:
 
  cleanups: signatures & structures, concrete types in XML attrs, etc.
-
  further tests in pgip_tests.ML
-
- <pgipquit> broken