Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2010-08-16 | More configure work | dos-reis | 1 | -0/+39 |
2010-08-16 | * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): Tidy. | dos-reis | 1 | -85/+83 |
2010-08-15 | * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): New. Abstract | dos-reis | 1 | -0/+45 |
2010-08-15 | * config/open-axiom.m4 (OPENAXIOM_DYNAMIC_MODULE_SUPPORT): New. | dos-reis | 1 | -0/+45 |
2010-08-15 | * config/var-def.mk (CPPFLAGS): New expanded variable. | dos-reis | 1 | -12/+11 |
2010-08-15 | * config/open-axiom.m4 (OPENAXIOM_CHECK_GCL_INCLUSION): New macro. | dos-reis | 1 | -4/+340 |
2010-08-14 | * config/open-axiom.m4 (OPENAXIOM_REJECT_ROTTED_LISP): New. | dos-reis | 1 | -0/+83 |
2010-08-13 | * config/open-axiom.m4 (OPENAXIOM_STANDARD_INTEGER_TYPES): New macro. | dos-reis | 1 | -1/+14 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+3 |