isabelle: src/Pure/ProofGeneral/TODO@20f43e0e0958 (annotated)

21638 49591cc0f1e7 New files. aspinall parents: diff changeset	1	Major:
49591cc0f1e7 New files. aspinall parents: diff changeset	2
22338 c7feeba2249e Updated aspinall parents: 21649 diff changeset	3	Complete pgip_types: add PGML and objtypes
21638 49591cc0f1e7 New files. aspinall parents: diff changeset	4	Complete pgip_markup: provide markup abstraction for parsing.ML
49591cc0f1e7 New files. aspinall parents: diff changeset	5
21649 40e6fdd26f82 Support PGIP communication for preferences in Emacs mode. aspinall parents: 21642 diff changeset	6	Minor:
21638 49591cc0f1e7 New files. aspinall parents: diff changeset	7
21649 40e6fdd26f82 Support PGIP communication for preferences in Emacs mode. aspinall parents: 21642 diff changeset	8	cleanups: signatures & structures, concrete types in XML attrs, etc.
40e6fdd26f82 Support PGIP communication for preferences in Emacs mode. aspinall parents: 21642 diff changeset	9	further tests in pgip_tests.ML