src/Pure/ProofGeneral/TODO
changeset 21642 54b00ca67e0e
parent 21638 49591cc0f1e7
child 21649 40e6fdd26f82
     1.1 --- a/src/Pure/ProofGeneral/TODO	Mon Dec 04 22:11:28 2006 +0100
     1.2 +++ b/src/Pure/ProofGeneral/TODO	Mon Dec 04 22:12:08 2006 +0100
     1.3 @@ -1,7 +1,6 @@
     1.4  Major:
     1.5  
     1.6 - split out Emacs part of Pure/proof_general.ML and move here 
     1.7 - as proof_general_emacs.ML.  Remove isa support.
     1.8 + proof_general_emacs.ML fixups/PG compatibility: ongoing
     1.9  
    1.10   Complete pgip_types: add PGML and objtypes
    1.11