| Fri, 07 Mar 2014 22:19:52 +0100 | wenzelm | ignore special names that are treated differently for various sub-languages (main wild-card is identifier "__"); | changeset | files |
| Fri, 07 Mar 2014 20:50:02 +0100 | wenzelm | merged | changeset | files |
| Fri, 07 Mar 2014 20:46:27 +0100 | wenzelm | misc tuning; | changeset | files |
| Fri, 07 Mar 2014 20:32:48 +0100 | wenzelm | more strict discrimination: symbols vs. keywords could overlap; | changeset | files |
| Fri, 07 Mar 2014 20:24:14 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 07 Mar 2014 20:12:38 +0100 | wenzelm | more accurate description; | changeset | files |