Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2005-01-19 | * Support arities > 6. | Eelco Dolstra | 1 | -1/+7 |
2005-01-17 | * Removed the `id' attribute hack. | Eelco Dolstra | 1 | -0/+4 |
2004-11-03 | * string2ATerm -> overloaded toATerm. | Eelco Dolstra | 1 | -4/+0 |
2004-10-29 | * Drop ATmake / ATMatcher also in handling store expressions. | Eelco Dolstra | 1 | -0/+147 |