Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
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 |