Age | Commit message (Expand) | Author | Files | Lines |
2011-12-03 | * config/var-def.mk (CXX): Define as substituted. | dos-reis | 1 | -0/+2 |
2011-09-03 | * lib/pixmap.c: Include standard header. | dos-reis | 2 | -5/+11 |
2011-07-07 | * config/open-axiom.m4 (ac_default_prefix): Set to C:/OpenAxiom on | dos-reis | 1 | -5/+4 |
2011-07-05 | * config/open-axiom.m4: Don't test for GMP, just yet. | dos-reis | 2 | -7/+1 |
2011-07-01 | * config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New. | dos-reis | 2 | -0/+15 |
2011-06-15 | * config/open-axiom.m4: Remove --enable-locbfd from | dos-reis | 1 | -8/+2 |
2011-06-03 | do commit this forgotten change | dos-reis | 2 | -0/+5 |
2011-06-02 | * config/open-axiom.m4 (OPENAXIOM_HOST_COMPILERS): Set | dos-reis | 1 | -2/+5 |
2011-06-01 | tidy configuration | dos-reis | 1 | -12/+11 |
2011-06-01 | * config/open-axiom.m4: Check for uid_t. | dos-reis | 2 | -0/+7 |
2011-05-01 | more cleanups | dos-reis | 1 | -0/+4 |
2011-04-10 | * config/open-axiom.m4 (OPENAXIOM_HOST_LISP_CPU_PRECISION): | dos-reis | 1 | -9/+12 |
2011-03-21 | Fix some type detection issues | dos-reis | 2 | -11/+56 |
2011-01-03 | (no commit message) | dos-reis | 1 | -5/+5 |
2011-01-01 | * configure.ac: Reject ECL on Mac OS X as it cannot give reliable | dos-reis | 1 | -0/+7 |
2010-11-28 | * clef/: Add using directive at toplevel. | dos-reis | 1 | -1/+1 |
2010-11-27 | * Makefile.am: Automake Makefile.in. | dos-reis | 1 | -7/+0 |
2010-11-27 | (no commit message) | dos-reis | 1 | -11/+3 |
2010-11-27 | Fix 'make install' | dos-reis | 1 | -24/+12 |
2010-11-26 | Fix from previous commit | dos-reis | 1 | -3/+0 |
2010-11-26 | * Makefile.am: New. Automake existing top-level Makefile.in. | dos-reis | 10 | -8394/+1926 |
2010-11-06 | Test for large files and Posix termios | dos-reis | 2 | -0/+15 |
2010-11-01 | * config/open-axiom.m4 (OPENAXIOM_GCL_HACKS): Remove. No longer | dos-reis | 1 | -21/+0 |
2010-10-27 | * algebra/boolean.spad.pamphlet (Logic): Now extend Type. | dos-reis | 1 | -0/+3 |
2010-08-26 | * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -s | dos-reis | 2 | -0/+3 |
2010-08-24 | Implement an s-expression C++ library. | dos-reis | 2 | -0/+23 |
2010-08-21 | Remove setting of TMP | dos-reis | 1 | -2/+0 |
2010-08-21 | External tool noweb is no longer required. | dos-reis | 4 | -34/+8 |
2010-08-18 | Remove CCF variables | dos-reis | 1 | -1/+0 |
2010-08-18 | * config/open-axiom.m4 (OPENAXIOM_CPPFLAGS_FOR_VENDOR_LOCK_INS): | dos-reis | 2 | -20/+68 |
2010-08-18 | r13983@gauss (orig r1241): gdr | 2009-07-22 15:41:19 -0500 | dos-reis | 1 | -2/+0 |
2010-08-16 | fix thinkos | dos-reis | 1 | -6/+6 |
2010-08-16 | More configure work | dos-reis | 1 | -0/+74 |
2010-08-16 | More configure work | dos-reis | 2 | -1/+298 |
2010-08-16 | More configure work | dos-reis | 1 | -0/+62 |
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 | 2 | -86/+84 |
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 | Include LDFLAGS in LINK_SHRLIB | dos-reis | 1 | -4/+4 |
2010-08-15 | * config/var-def.mk (CPPFLAGS): New expanded variable. | dos-reis | 2 | -17/+21 |
2010-08-15 | * config/open-axiom.m4 (OPENAXIOM_CHECK_GCL_INCLUSION): New macro. | dos-reis | 2 | -4/+346 |
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 | 2 | -1/+66 |
2010-08-08 | * config/var-def.mk (CXXCOMPILE): Specify TAG. | dos-reis | 1 | -1/+1 |
2010-08-08 | * config/var-def.mk (CXXCOMPILE): Specify TAG. | dos-reis | 1 | -2/+2 |
2010-08-07 | Fix flags to build loadable module on MAC OS X. | dos-reis | 1 | -1/+1 |
2010-07-29 | Support C++ as implementation language. | dos-reis | 1 | -0/+2 |
2010-02-07 | * configure.ac.pamphlet: Add support for --enable-threads. | dos-reis | 1 | -0/+2 |
2009-10-26 | * share/tex/open-axiom.sty: New. | dos-reis | 1 | -0/+1 |