Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | some renamings | Eugene Burmako | 2014-02-15 | 1 | -3/+3 |
* | deprecates String => Name implicit conversions | Eugene Burmako | 2014-02-14 | 1 | -1/+1 |
* | SI-7003 Partest redirects stderr to log file | Som Snytt | 2013-05-25 | 1 | -0/+2 |
* | Deskolemize type skolems before pickling. | Paul Phillips | 2012-12-15 | 1 | -0/+37 |