isabelle: src/Pure/ProofGeneral/TODO@40e6fdd26f82 (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	Complete pgip_types: add PGML and objtypes
49591cc0f1e7 New files. aspinall parents: diff changeset	4
49591cc0f1e7 New files. aspinall parents: diff changeset	5	Complete pgip_markup: provide markup abstraction for parsing.ML
49591cc0f1e7 New files. aspinall parents: diff changeset	6
21649 40e6fdd26f82 Support PGIP communication for preferences in Emacs mode. aspinall parents: 21642 diff changeset	7	Minor:
21638 49591cc0f1e7 New files. aspinall parents: diff changeset	8
21649 40e6fdd26f82 Support PGIP communication for preferences in Emacs mode. aspinall parents: 21642 diff changeset	9	cleanups: signatures & structures, concrete types in XML attrs, etc.
40e6fdd26f82 Support PGIP communication for preferences in Emacs mode. aspinall parents: 21642 diff changeset	10
40e6fdd26f82 Support PGIP communication for preferences in Emacs mode. aspinall parents: 21642 diff changeset	11	further tests in pgip_tests.ML
21638 49591cc0f1e7 New files. aspinall parents: diff changeset	12
49591cc0f1e7 New files. aspinall parents: diff changeset	13	<pgipquit> broken