src/Pure/ProofGeneral/TODO
author aspinall
Mon Dec 04 22:12:08 2006 +0100 (2006-12-04)
changeset 21642 54b00ca67e0e
parent 21638 49591cc0f1e7
child 21649 40e6fdd26f82
permissions -rw-r--r--
Add separate PG Emacs configuration
aspinall@21638
     1
Major:
aspinall@21638
     2
aspinall@21642
     3
 proof_general_emacs.ML fixups/PG compatibility: ongoing
aspinall@21638
     4
aspinall@21638
     5
 Complete pgip_types: add PGML and objtypes
aspinall@21638
     6
aspinall@21638
     7
 Complete pgip_markup: provide markup abstraction for parsing.ML
aspinall@21638
     8
aspinall@21638
     9
aspinall@21638
    10
Minor:
aspinall@21638
    11
aspinall@21638
    12
 <pgipquit> broken
aspinall@21638
    13
aspinall@21638
    14
 cleanups: signatures & structures
aspinall@21638
    15
aspinall@21638
    16
 further tests in pgip_tests.ML