Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | showRaw now prints symbols of def trees | Eugene Burmako | 2013-08-10 | 1 | -1/+1 |
* | Normalized line endings. | Paul Phillips | 2012-09-20 | 1 | -1/+1 |
* | SI-6392 wraps non-terms before typecheck/eval | Eugene Burmako | 2012-09-19 | 1 | -0/+1 |