| Thu, 28 Aug 2008 00:33:13 +0200 | wenzelm | present_token: disable print_mode, which is YXML now; | file | diff | annotate |
| Tue, 12 Aug 2008 21:28:01 +0200 | wenzelm | adapted ThyEdit operations; | file | diff | annotate |
| Sun, 20 Jul 2008 23:07:01 +0200 | wenzelm | adapted ThyEdit.span; | file | diff | annotate |
| Wed, 25 Jun 2008 17:38:32 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | 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, 19 Jul 2007 23:18:55 +0200 | wenzelm | adapted ThyHeader.read; | file | diff | annotate |
| Thu, 12 Jul 2007 00:15:35 +0200 | wenzelm | Parsing theory sources without execution (via keyword classification). | file | diff | annotate |