src/Pure/ProofGeneral/TODO
author wenzelm
Fri Jun 13 21:04:42 2008 +0200 (2008-06-13)
changeset 27195 bbf4cbc69243
parent 22338 c7feeba2249e
permissions -rw-r--r--
map_const: soft version, no failure here;
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