Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-08-29 | * utils/Makefile.in ($(oa_target_oalib)): Create contaning | dos-reis | 1 | -0/+3 |
2010-08-26 | * utils/Makefile.in: Install libOpenAxiom.a | dos-reis | 1 | -1/+7 |
2010-08-26 | * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -s | dos-reis | 1 | -6/+30 |
2010-08-24 | Implement an s-expression C++ library. | dos-reis | 1 | -2/+2 |
2010-08-21 | External tool noweb is no longer required. | dos-reis | 1 | -0/+77 |