Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |