Age | Commit message (Expand) | Author |
---|---|---|
2006-09-04 | * Remove unnecessary inclusions of aterm2.h. | Eelco Dolstra |
2006-09-04 | * Use a proper namespace. | Eelco Dolstra |
2006-05-02 | * Removed a bunch of ATreverses. | Eelco Dolstra |
2005-01-25 | * Maintain the references/referers relation also for derivations. | Eelco Dolstra |
2005-01-20 | * Terminology fixes. | Eelco Dolstra |
2005-01-20 | * Another change to low-level derivations. The last one this year, I | Eelco Dolstra |
2005-01-19 | * Renamed `normalise.cc' -> `build.cc', `storeexprs.cc' -> | Eelco Dolstra |