src/Pure/ProofGeneral/TODO
changeset 21649 40e6fdd26f82
parent 21642 54b00ca67e0e
child 22338 c7feeba2249e
     1.1 --- a/src/Pure/ProofGeneral/TODO	Tue Dec 05 01:17:32 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/TODO	Tue Dec 05 13:56:43 2006 +0100
     1.3 @@ -1,16 +1,13 @@
     1.4  Major:
     1.5  
     1.6 - proof_general_emacs.ML fixups/PG compatibility: ongoing
     1.7 -
     1.8   Complete pgip_types: add PGML and objtypes
     1.9  
    1.10   Complete pgip_markup: provide markup abstraction for parsing.ML
    1.11  
    1.12 +Minor:
    1.13  
    1.14 -Minor:
    1.15 + cleanups: signatures & structures, concrete types in XML attrs, etc.
    1.16 +
    1.17 + further tests in pgip_tests.ML
    1.18  
    1.19   <pgipquit> broken
    1.20 -
    1.21 - cleanups: signatures & structures
    1.22 -
    1.23 - further tests in pgip_tests.ML