| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fixed non exhaustive case by adding else | Hans Raaf | 2015-02-15 | 1 | -1/+1 |
| * | Happy new year! | Guillaume Gelin | 2015-01-06 | 1 | -1/+1 |
| * | more modules updated | Araq | 2014-08-28 | 1 | -2/+2 |
| * | big rename | Araq | 2014-08-27 | 1 | -4/+4 |
| * | stdlib compiles mostly without warnings again | Araq | 2014-02-06 | 1 | -1/+1 |
| * | added matchers.parseInt | Araq | 2012-02-20 | 1 | -2/+2 |
| * | bugfix: semfold supports merging of '&' | Araq | 2012-02-19 | 1 | -1/+14 |
| * | year 2012 for most copyright headers | Araq | 2012-01-02 | 1 | -1/+1 |
| * | bugfix: proper cache for generic instantiations | Araq | 2011-07-21 | 1 | -0/+51 |