aboutsummaryrefslogtreecommitdiff
path: root/config/open-axiom.m4
AgeCommit message (Expand)AuthorFilesLines
2010-08-15 * config/var-def.mk (CPPFLAGS): New expanded variable.dos-reis1-12/+11
2010-08-15 * config/open-axiom.m4 (OPENAXIOM_CHECK_GCL_INCLUSION): New macro.dos-reis1-4/+340
2010-08-14 * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): New.dos-reis1-0/+83
2010-08-13 * config/open-axiom.m4 (OPENAXIOM_STANDARD_INTEGER_TYPES): New macro.dos-reis1-1/+14
2007-08-14Initial population.dos-reis1-0/+3