| 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 |
| Wed, 11 Jul 2007 17:47:47 +0200 | wenzelm | added markup operation; | changeset | files |
| Wed, 11 Jul 2007 17:47:45 +0200 | wenzelm | Symbol.not_eof/sync is superceded by Symbol.is_regular (rules out further control symbols); | changeset | files |
| Wed, 11 Jul 2007 12:23:34 +0200 | berghofe | Added entry for new inductive definition package. | changeset | files |