Age | Commit message (Expand) | Author | Files | Lines |
2012-02-03 | * config/open-axiom.m4 (OPENAXIOM_ALIGNAS_SPECIFIER): New. | dos-reis | 1 | -0/+3 |
2011-09-03 | * lib/pixmap.c: Include standard header. | dos-reis | 1 | -0/+3 |
2011-07-05 | * config/open-axiom.m4: Don't test for GMP, just yet. | dos-reis | 1 | -6/+0 |
2011-07-01 | * config/open-axiom.m4 (OPENAXIOM_CHECK_GMP): New. | dos-reis | 1 | -0/+6 |
2011-06-03 | do commit this forgotten change | dos-reis | 1 | -0/+3 |
2011-06-01 | * config/open-axiom.m4: Check for uid_t. | dos-reis | 1 | -0/+6 |
2011-03-21 | Fix some type detection issues | dos-reis | 1 | -0/+44 |
2010-11-26 | * Makefile.am: New. Automake existing top-level Makefile.in. | dos-reis | 1 | -0/+6 |
2010-11-06 | Test for large files and Posix termios | dos-reis | 1 | -0/+9 |
2010-10-27 | * algebra/boolean.spad.pamphlet (Logic): Now extend Type. | dos-reis | 1 | -0/+3 |
2010-08-24 | Implement an s-expression C++ library. | dos-reis | 1 | -0/+3 |
2010-08-21 | External tool noweb is no longer required. | dos-reis | 1 | -0/+3 |
2010-08-18 | * config/open-axiom.m4 (OPENAXIOM_CPPFLAGS_FOR_VENDOR_LOCK_INS): | dos-reis | 1 | -3/+6 |
2010-08-15 | * config/open-axiom.m4 (OPENAXIOM_CHECK_GCL_INCLUSION): New macro. | dos-reis | 1 | -0/+6 |
2010-08-13 | * config/open-axiom.m4 (OPENAXIOM_STANDARD_INTEGER_TYPES): New macro. | dos-reis | 1 | -0/+52 |
2009-09-20 | * configure.ac.pamphlet: Don't define CPP LINUXplaform, | dos-reis | 1 | -12/+0 |
2009-05-13 | * configure.ac.pamphlet: Disable use of libtool to build shared | dos-reis | 1 | -4/+19 |
2009-04-14 | Fix SF/2760553 | dos-reis | 1 | -15/+4 |
2009-04-14 | Fix SF/2760560 | dos-reis | 1 | -4/+15 |
2009-02-11 | * lib/openpty.c: #include <sys/ioctl.h>, <termios.h>, and | dos-reis | 1 | -0/+9 |
2009-02-07 | * algebra/system.spad.pamphlet (hostByteOrder$System): New. | dos-reis | 1 | -0/+4 |
2008-11-01 | * sman/sman.c (ptsPath): Remove. | dos-reis | 1 | -0/+10 |
2008-04-28 | * configure.ac.pamphlet: Check from uint8_t. | dos-reis | 1 | -0/+138 |