| Thu, 12 Jul 2007 00:15:26 +0200 | wenzelm | added ProofGeneral/pgip_parser.ML; | changeset | files |
| Wed, 11 Jul 2007 19:22:05 +0200 | wenzelm | tuned error faces; | changeset | files |
| Wed, 11 Jul 2007 18:25:30 +0200 | nipkow | tries to solve goal via TrueI | changeset | files |
| Wed, 11 Jul 2007 17:47:52 +0200 | wenzelm | tuned markup; | changeset | files |
| Wed, 11 Jul 2007 17:47:51 +0200 | wenzelm | replaced OuterLex.name_of by more sophisticated OuterLex.text_of; | changeset | files |
| Wed, 11 Jul 2007 17:47:50 +0200 | wenzelm | Symbol.not_eof/sync is superceded by Symbol.is_regular (rules out further control symbols); | changeset | files |
| Wed, 11 Jul 2007 17:47:49 +0200 | wenzelm | Buffer.markup; | changeset | files |
| Wed, 11 Jul 2007 17:47:48 +0200 | wenzelm | removed ident, space; | changeset | files |