Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2011-09-13 | * utils/Makefile.in (libOpenAxiom_HEADERS): Include vm.H. | dos-reis | 1 | -3/+3 |
2011-06-27 | * utils/Makefile.in (libOpenAxiom_SOURCES): Include filesystem.cc | dos-reis | 1 | -1/+4 |
2011-06-02 | more utility code consolidation | dos-reis | 1 | -3/+6 |
2011-03-18 | fiix typo | dos-reis | 1 | -1/+1 |
2011-03-17 | * utils/storage.H: Rework. | dos-reis | 1 | -1/+1 |
2011-03-16 | fix thinko | dos-reis | 1 | -1/+1 |
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 |