Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-03-21 | Fix some type detection issues | dos-reis | 3 | -9/+13 |
2011-03-18 | fiix typo | dos-reis | 1 | -1/+1 |
2011-03-18 | * utils/sexpr.H: Support more specialized s-expressions. | dos-reis | 2 | -127/+479 |
2011-03-17 | * utils/storage.H: Rework. | dos-reis | 3 | -151/+177 |
2011-03-16 | fix thinko | dos-reis | 3 | -2/+7 |
2010-12-26 | (no commit message) | dos-reis | 2 | -16/+20 |
2010-12-10 | Cleanup | dos-reis | 1 | -2/+2 |
2010-09-12 | * utils/sexpr.H (Token::character): New token type. | dos-reis | 2 | -0/+46 |
2010-08-29 | * utils/Makefile.in ($(oa_target_oalib)): Create contaning | dos-reis | 4 | -19/+69 |
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 | 9 | -15/+39 |
2010-08-24 | Implement an s-expression C++ library. | dos-reis | 9 | -12/+1563 |
2010-08-21 | External tool noweb is no longer required. | dos-reis | 4 | -0/+753 |