Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2017-01-15 | Add s-expression parsing to libopen-axiom-core.a | Gabriel Dos Reis | 1 | -314/+0 |
2013-06-22 | * include/FileMapping.H: New. | dos-reis | 1 | -1/+2 |
2013-06-22 | Use Byte for data from input source. | dos-reis | 1 | -2/+4 |
2013-06-21 | * include/dialect.H: New. | dos-reis | 1 | -11/+16 |
2011-06-20 | * utils/storage.H (Memory::Storage::acquire): Remove. | dos-reis | 1 | -18/+48 |
2011-03-17 | * utils/storage.H: Rework. | dos-reis | 1 | -36/+93 |
2010-12-26 | (no commit message) | dos-reis | 1 | -0/+7 |
2010-08-26 | * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -s | dos-reis | 1 | -2/+2 |
2010-08-24 | Implement an s-expression C++ library. | dos-reis | 1 | -0/+37 |
2010-08-21 | External tool noweb is no longer required. | dos-reis | 1 | -0/+175 |