1.1 --- a/src/Pure/ProofGeneral/TODO	Sat Feb 17 18:00:59 2007 +0100
     1.2 +++ b/src/Pure/ProofGeneral/TODO	Sat Feb 17 18:01:22 2007 +0100
     1.3 @@ -1,13 +1,9 @@
     1.4  Major:
     1.5  
     1.6 - Complete pgip_types: add PGML and objtypes
     1.7 -
     1.8 + Complete pgip_types:  add PGML and objtypes
     1.9   Complete pgip_markup: provide markup abstraction for parsing.ML
    1.10  
    1.11  Minor:
    1.12  
    1.13   cleanups: signatures & structures, concrete types in XML attrs, etc.
    1.14 -
    1.15   further tests in pgip_tests.ML
    1.16 -
    1.17 - <pgipquit> broken