| Age | Commit message (Expand) | Author |
|---|---|---|
| 2006-05-02 | * Optimise null-ary term builders. Also declare all term builder | Eelco Dolstra |
| 2005-02-09 | * Automatically upgrade <= 0.7 Nix stores to the new schema (so that | Eelco Dolstra |
| 2005-01-19 | * Support arities > 6. | Eelco Dolstra |
| 2005-01-17 | * Removed the `id' attribute hack. | Eelco Dolstra |
| 2004-11-03 | * string2ATerm -> overloaded toATerm. | Eelco Dolstra |
| 2004-10-29 | * Drop ATmake / ATMatcher also in handling store expressions. | Eelco Dolstra |
 |
index : lix | |
| User & |
| aboutsummaryrefslogtreecommitdiff |