author | aspinall |
Mon, 04 Dec 2006 20:48:57 +0100 | |
changeset 21638 | 49591cc0f1e7 |
parent 21637 | a7b156c404e2 |
child 21639 | 8ab7c4dbb524 |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Pure/ProofGeneral/TODO Mon Dec 04 20:48:57 2006 +0100 @@ -0,0 +1,17 @@ +Major: + + split out Emacs part of Pure/proof_general.ML and move here + as proof_general_emacs.ML. Remove isa support. + + Complete pgip_types: add PGML and objtypes + + Complete pgip_markup: provide markup abstraction for parsing.ML + + +Minor: + + <pgipquit> broken + + cleanups: signatures & structures + + further tests in pgip_tests.ML