Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-03-02 | * When using the included sqlite/aterm libraries, build with | Eelco Dolstra | 1 | -1/+1 |
2009-12-16 | * Build correctly against newer ATerm releases. Fixes "error: 'union' | Eelco Dolstra | 1 | -1/+1 |
2006-09-04 | * Remove unnecessary inclusions of aterm2.h. | Eelco Dolstra | 1 | -1/+2 |
2006-09-04 | * Use a proper namespace. | Eelco Dolstra | 1 | -4/+12 |
2005-01-20 | * Another change to low-level derivations. The last one this year, I | Eelco Dolstra | 1 | -1/+6 |
2005-01-19 | * Renamed `normalise.cc' -> `build.cc', `storeexprs.cc' -> | Eelco Dolstra | 1 | -0/+62 |