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
     1 Major:
     2 
     3  Complete pgip_types:  add PGML and objtypes
     4  Complete pgip_markup: provide markup abstraction for parsing.ML
     5 
     6 Minor:
     7 
     8  cleanups: signatures & structures, concrete types in XML attrs, etc.
     9  further tests in pgip_tests.ML