| Sat, 07 Aug 2010 21:03:06 +0200 |
wenzelm |
simplified type XML.tree: embed Markup.T directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 21:23:39 +0200 |
wenzelm |
further cleanup of XML signature;
|
file |
diff |
annotate
|
| Thu, 09 Aug 2007 11:39:29 +0200 |
aspinall |
PGIP change: thyname is optional in opentheory, markup even in case of header parse failure
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 16:14:42 +0200 |
wenzelm |
avoid redundant variables in patterns (which made Alice vomit);
|
file |
diff |
annotate
|
| Thu, 12 Jul 2007 00:15:37 +0200 |
wenzelm |
tuned spacing;
|
file |
diff |
annotate
|
| Sat, 03 Mar 2007 12:39:50 +0100 |
aspinall |
Add more attributes to openblock. Change theory item objtype field to proper objtype.
|
file |
diff |
annotate
|
| Tue, 19 Dec 2006 17:35:33 +0100 |
aspinall |
Missing elements from doc_markup_elements
|
file |
diff |
annotate
|
| Sun, 17 Dec 2006 22:43:50 +0100 |
aspinall |
Add abstraction for objtypes and documents.
|
file |
diff |
annotate
|
| Tue, 05 Dec 2006 22:04:24 +0100 |
aspinall |
Document structure in pgip_markup.ML. Minor fixes.
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|