Wed, 25 Jun 2008 17:38:39 +0200 | wenzelm | re-use official outer keywords; | changeset | files |
Wed, 25 Jun 2008 17:38:38 +0200 | wenzelm | scan: prefer command over keyword, allowing lexicons to overlap; | changeset | files |
Wed, 25 Jun 2008 17:38:37 +0200 | wenzelm | moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces; | changeset | files |