aboutsummaryrefslogtreecommitdiff
path: root/src/utils
AgeCommit message (Expand)AuthorFilesLines
2010-12-26(no commit message)dos-reis2-16/+20
2010-12-10Cleanupdos-reis1-2/+2
2010-09-12 * utils/sexpr.H (Token::character): New token type.dos-reis2-0/+46
2010-08-29 * utils/Makefile.in ($(oa_target_oalib)): Create contaningdos-reis4-19/+69
2010-08-26 * utils/Makefile.in: Install libOpenAxiom.ados-reis1-1/+7
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis9-15/+39
2010-08-24 Implement an s-expression C++ library.dos-reis9-12/+1563
2010-08-21 External tool noweb is no longer required.dos-reis4-0/+753