| Thu, 16 Jun 2011 22:15:35 +0200 | wenzelm | brute-force range restriction to avoid spurious crashes; | changeset | files |
| Thu, 16 Jun 2011 22:05:40 +0200 | wenzelm | static token markup, based on outer syntax only; | changeset | files |
| Thu, 16 Jun 2011 20:12:59 +0200 | wenzelm | explicit dependency on Pure.jar; | changeset | files |
| Thu, 16 Jun 2011 18:00:56 +0200 | wenzelm | partial scans of nested comments; | changeset | files |
| Thu, 16 Jun 2011 17:25:16 +0200 | wenzelm | some support for partial scans with explicit context; | changeset | files |
| Thu, 16 Jun 2011 11:59:29 +0200 | haftmann | tuned spelling | changeset | files |