New files.
authoraspinall
Mon Dec 04 20:48:57 2006 +0100 (2006-12-04)
changeset 2163849591cc0f1e7
parent 21637 a7b156c404e2
child 21639 8ab7c4dbb524
New files.
src/Pure/ProofGeneral/TODO
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Pure/ProofGeneral/TODO	Mon Dec 04 20:48:57 2006 +0100
     1.3 @@ -0,0 +1,17 @@
     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 +
     1.9 + Complete pgip_types: add PGML and objtypes
    1.10 +
    1.11 + Complete pgip_markup: provide markup abstraction for parsing.ML
    1.12 +
    1.13 +
    1.14 +Minor:
    1.15 +
    1.16 + <pgipquit> broken
    1.17 +
    1.18 + cleanups: signatures & structures
    1.19 +
    1.20 + further tests in pgip_tests.ML