src/Pure/ProofGeneral/TODO
author aspinall
Tue Dec 05 13:56:43 2006 +0100 (2006-12-05)
changeset 21649 40e6fdd26f82
parent 21642 54b00ca67e0e
child 22338 c7feeba2249e
permissions -rw-r--r--
Support PGIP communication for preferences in Emacs mode.
aspinall@21638
     1
Major:
aspinall@21638
     2
aspinall@21638
     3
 Complete pgip_types: add PGML and objtypes
aspinall@21638
     4
aspinall@21638
     5
 Complete pgip_markup: provide markup abstraction for parsing.ML
aspinall@21638
     6
aspinall@21649
     7
Minor:
aspinall@21638
     8
aspinall@21649
     9
 cleanups: signatures & structures, concrete types in XML attrs, etc.
aspinall@21649
    10
aspinall@21649
    11
 further tests in pgip_tests.ML
aspinall@21638
    12
aspinall@21638
    13
 <pgipquit> broken