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 |