| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix most complaints from regexlint. | Georg Brandl | 2016-02-14 | 1 | -1/+1 |
| * | Copyright year update. | Georg Brandl | 2015-01-21 | 1 | -1/+1 |
| * | Simplify charclasses in a few more modules | Georg Brandl | 2014-11-06 | 1 | -34/+34 |
| * | Curly brace escaping, round 2. | Tim Hatch | 2014-10-15 | 1 | -2/+3 |
| * | Curly brace escaping, round 1. | Tim Hatch | 2014-10-15 | 1 | -13/+13 |
| * | Closes #1015: fix lexing of Haskell char literals. | Georg Brandl | 2014-10-08 | 1 | -1/+2 |
| * | Fix minor problems noted by regexlint and 'make check' | Tim Hatch | 2014-10-04 | 1 | -1/+1 |
| * | Added 5 keywords to Agda lexer. Extended test. | abel | 2014-10-02 | 1 | -4/+5 |
| * | split up text lexers | Georg Brandl | 2014-09-19 | 1 | -1/+1 |
| * | split up functional lexers | Georg Brandl | 2014-09-19 | 1 | -0/+837 |
