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 |