Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added a more efficient way to recover the domain of a map. | 2013-08-25 | |
* | Moving hcons_string to String namespace. | 2012-12-14 | |
* | Moved Stringset and Stringmap to String namespace. | 2012-12-14 | |
* | Documented CString. | 2012-12-13 | |
* | Small uniformization in String | 2012-11-13 | |
* | Added a CString module. | 2012-11-13 |