Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2003-11-16 | * Some utility functions for working with ATerms. | Eelco Dolstra | 1 | -32/+20 |
2003-11-05 | * Print a shared textual ATerm if the term if very large. Due to | Eelco Dolstra | 1 | -1/+9 |
2003-10-20 | * Refactored the source tree. | Eelco Dolstra | 1 | -0/+222 |