aboutsummaryrefslogtreecommitdiff
path: root/src/utils/sexpr.cc
AgeCommit message (Expand)AuthorFilesLines
2011-03-18 * utils/sexpr.H: Support more specialized s-expressions.dos-reis1-89/+336
2011-03-16fix thinkodos-reis1-0/+5
2010-09-12 * utils/sexpr.H (Token::character): New token type.dos-reis1-0/+33
2010-08-29 * utils/Makefile.in ($(oa_target_oalib)): Create contaningdos-reis1-3/+3
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis1-1/+1
2010-08-24 Implement an s-expression C++ library.dos-reis1-0/+641