Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2003-11-16 | * An forward non-random access input iterator class for ATermLists. | Eelco Dolstra | 1 | -20/+12 | |
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 | |
substitutions, Fix terms are very large when printed as trees (in memory, they are quite compact due to sharing). | |||||
2003-10-20 | * Refactored the source tree. | Eelco Dolstra | 1 | -0/+222 | |