# HG changeset patch
# User aspinall
# Date 1165261737 -3600
# Node ID 49591cc0f1e7d2effb5a51520c012cad9126abd0
# Parent  a7b156c404e22fbf6d9b8d4c7c97c53b765432aa
New files.

diff -r a7b156c404e2 -r 49591cc0f1e7 src/Pure/ProofGeneral/TODO
--- /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