Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2006-05-02 | * Optimise null-ary term builders. Also declare all term builder | Eelco Dolstra | 1 | -1/+14 |
2005-02-09 | * Automatically upgrade <= 0.7 Nix stores to the new schema (so that | Eelco Dolstra | 1 | -1/+1 |
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 |