src/Pure/ProofGeneral/TODO
author aspinall
Sat Feb 17 18:01:22 2007 +0100 (2007-02-17)
changeset 22338 c7feeba2249e
parent 21649 40e6fdd26f82
permissions -rw-r--r--
Updated
aspinall@21638
     1
Major:
aspinall@21638
     2
aspinall@22338
     3
 Complete pgip_types:  add PGML and objtypes
aspinall@21638
     4
 Complete pgip_markup: provide markup abstraction for parsing.ML
aspinall@21638
     5
aspinall@21649
     6
Minor:
aspinall@21638
     7
aspinall@21649
     8
 cleanups: signatures & structures, concrete types in XML attrs, etc.
aspinall@21649
     9
 further tests in pgip_tests.ML