isabelle: src/Pure/ProofGeneral/TODO@49591cc0f1e7 (annotated)

21638 49591cc0f1e7 New files. aspinall parents: diff changeset	1	Major:
49591cc0f1e7 New files. aspinall parents: diff changeset	2
49591cc0f1e7 New files. aspinall parents: diff changeset	3	split out Emacs part of Pure/proof_general.ML and move here
49591cc0f1e7 New files. aspinall parents: diff changeset	4	as proof_general_emacs.ML. Remove isa support.
49591cc0f1e7 New files. aspinall parents: diff changeset	5
49591cc0f1e7 New files. aspinall parents: diff changeset	6	Complete pgip_types: add PGML and objtypes
49591cc0f1e7 New files. aspinall parents: diff changeset	7
49591cc0f1e7 New files. aspinall parents: diff changeset	8	Complete pgip_markup: provide markup abstraction for parsing.ML
49591cc0f1e7 New files. aspinall parents: diff changeset	9
49591cc0f1e7 New files. aspinall parents: diff changeset	10
49591cc0f1e7 New files. aspinall parents: diff changeset	11	Minor:
49591cc0f1e7 New files. aspinall parents: diff changeset	12
49591cc0f1e7 New files. aspinall parents: diff changeset	13	<pgipquit> broken
49591cc0f1e7 New files. aspinall parents: diff changeset	14
49591cc0f1e7 New files. aspinall parents: diff changeset	15	cleanups: signatures & structures
49591cc0f1e7 New files. aspinall parents: diff changeset	16
49591cc0f1e7 New files. aspinall parents: diff changeset	17	further tests in pgip_tests.ML