# HG changeset patch
# User aspinall
# Date 1171731682 -3600
# Node ID c7feeba2249e621b3cdce0ff774016bf8b700e9f
# Parent  d4599c20644652705f2df9dccd8434cb9ef232cc
Updated

diff -r d4599c206446 -r c7feeba2249e src/Pure/ProofGeneral/TODO
--- a/src/Pure/ProofGeneral/TODO	Sat Feb 17 18:00:59 2007 +0100
+++ b/src/Pure/ProofGeneral/TODO	Sat Feb 17 18:01:22 2007 +0100
@@ -1,13 +1,9 @@
 Major:
 
- Complete pgip_types: add PGML and objtypes
-
+ Complete pgip_types:  add PGML and objtypes
  Complete pgip_markup: provide markup abstraction for parsing.ML
 
 Minor:
 
  cleanups: signatures & structures, concrete types in XML attrs, etc.
-
  further tests in pgip_tests.ML
-
- <pgipquit> broken