Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-01-14 | * builtins.substring: if "start" is beyond the end of the string, | Eelco Dolstra | 1 | -1/+1 |
2010-04-21 | * Update the expected test output (no longer an ATerm). | Eelco Dolstra | 1 | -1/+1 |
2007-01-29 | New primitives: | Eelco Dolstra | 1 | -0/+1 |