| Wed, 21 Jan 2009 23:21:44 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
| Wed, 27 Aug 2008 12:00:28 +0200 |
wenzelm |
get rid of tabs;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2008 18:42:39 +0200 |
wenzelm |
XML.string_of, XML.parse;
|
file |
diff |
annotate
|
| Sun, 04 Nov 2007 17:12:14 +0100 |
wenzelm |
removed obsolete ProofGeneral/parsing.ML;
|
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
|
| Thu, 12 Jul 2007 00:15:36 +0200 |
wenzelm |
renamed PgipParser to OldPgipParser;
|
file |
diff |
annotate
|
| Wed, 20 Jun 2007 15:10:34 +0200 |
aspinall |
Remove dedicated flag setting elements in favour of setproverflag.
|
file |
diff |
annotate
|
| Sat, 03 Mar 2007 12:43:16 +0100 |
aspinall |
Update test for new parse result
|
file |
diff |
annotate
|
| Mon, 22 Jan 2007 16:52:26 +0100 |
aspinall |
Test askref
|
file |
diff |
annotate
|
| Thu, 18 Jan 2007 11:16:49 +0100 |
aspinall |
Fix pgmlsymbolsoff
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
file |
diff |
annotate
|
| Sun, 17 Dec 2006 22:43:50 +0100 |
aspinall |
Add abstraction for objtypes and documents.
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|