2008-04-03 wenzelm 2008-04-03 further cleanup of XML signature;
2007-08-09 aspinall 2007-08-09 PGIP change: thyname is optional in opentheory, markup even in case of header parse failure
2007-07-17 wenzelm 2007-07-17 avoid redundant variables in patterns (which made Alice vomit);
2007-07-12 wenzelm 2007-07-12 tuned spacing;
2007-03-03 aspinall 2007-03-03 Add more attributes to openblock. Change theory item objtype field to proper objtype.
2006-12-19 aspinall 2006-12-19 Missing elements from doc_markup_elements
2006-12-17 aspinall 2006-12-17 Add abstraction for objtypes and documents.
2006-12-05 aspinall 2006-12-05 Document structure in pgip_markup.ML. Minor fixes.
2006-12-04 aspinall 2006-12-04 Revamped Proof General interface.