Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2006-07-24 | * Refactoring to support domain checks. | Eelco Dolstra | 1 | -2/+7 |
2006-05-02 | * Use a linked list of substitutions. This reduces the amount of | Eelco Dolstra | 1 | -0/+1 |
2006-05-01 | * String interpolation. Expressions like | Eelco Dolstra | 1 | -0/+1 |
2006-05-01 | * Allow string concatenations involving derivations, e.g., | Eelco Dolstra | 1 | -0/+1 |
2005-07-25 | * Added a list concatenation operator: | Eelco Dolstra | 1 | -0/+1 |
2004-10-29 | * Drop ATmake / ATMatcher also in handling store expressions. | Eelco Dolstra | 1 | -0/+55 |