Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2012-09-02 | relicense isl under the MIT license | Sven Verdoolaege | 1 | -1/+1 |
2011-09-03 | explicitly differentiate between spaces of maps, sets and parameter sets | Sven Verdoolaege | 1 | -0/+2 |
2011-07-20 | introduce identifiers | Sven Verdoolaege | 1 | -0/+26 |