src/Pure/ProofGeneral/TODO
author aspinall
Mon Dec 04 20:48:57 2006 +0100 (2006-12-04)
changeset 21638 49591cc0f1e7
child 21642 54b00ca67e0e
permissions -rw-r--r--
New files.
     1 Major:
     2 
     3  split out Emacs part of Pure/proof_general.ML and move here 
     4  as proof_general_emacs.ML.  Remove isa support.
     5 
     6  Complete pgip_types: add PGML and objtypes
     7 
     8  Complete pgip_markup: provide markup abstraction for parsing.ML
     9 
    10 
    11 Minor:
    12 
    13  <pgipquit> broken
    14 
    15  cleanups: signatures & structures
    16 
    17  further tests in pgip_tests.ML