aboutsummaryrefslogtreecommitdiff
path: root/src/utils
AgeCommit message (Expand)AuthorFilesLines
2011-03-21Fix some type detection issuesdos-reis3-9/+13
2011-03-18fiix typodos-reis1-1/+1
2011-03-18 * utils/sexpr.H: Support more specialized s-expressions.dos-reis2-127/+479
2011-03-17 * utils/storage.H: Rework.dos-reis3-151/+177
2011-03-16fix thinkodos-reis3-2/+7
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