aboutsummaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)AuthorFilesLines
2009-04-14 Fix SF/2760560dos-reis1-4/+15
2009-02-11 * lib/openpty.c: #include <sys/ioctl.h>, <termios.h>, anddos-reis1-0/+9
2009-02-07 * algebra/system.spad.pamphlet (hostByteOrder$System): New.dos-reis1-0/+4
2008-11-01 * sman/sman.c (ptsPath): Remove.dos-reis2-1/+11
2008-10-27 * configure.ac.pamphlet: Look for path to `awk'.dos-reis1-0/+1
2008-08-16 * lisp/core.lisp.in (|%basicSystemIsComplete|): New. Export.dos-reis1-0/+1
2008-08-13 * lisp/core.lisp.in (LINKSET-FROM): New.dos-reis1-0/+9
2008-08-07 * lisp/core.lisp.in (boot-completed-p): New.dos-reis1-0/+1
2008-04-28 * configure.ac.pamphlet: Check from uint8_t.dos-reis1-1/+10
2008-04-05 * configure.ac.pamphlet (oa_shrlib_flags): Tidy.dos-reis1-2/+2
2008-04-04Fix thinko.dos-reis1-1/+1
2008-04-04 * lib/Makefile.in (libopen_axiom_core_objects): Tidy.dos-reis1-0/+3
2008-04-04 * configure.ac.pamphlet: Disable Libtool for building shareddos-reis1-1/+11
2008-03-26Fix shared linking regressiondos-reis1-4/+6
2008-03-17 * lib/cfuns-c.c (oa_chdir): Define.dos-reis1-0/+3
2008-03-16 * lib/Makefile.in ($(axiom_target_libdir)/libopen-axiom-core.$(DLLEXT)): Tidy.dos-reis1-0/+2
2008-02-10Add support for batch processing.dos-reis1-0/+3
2008-01-21 * config/var-def.mk (LDF): Include -lm.dos-reis1-1/+1
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+6
2007-12-28Don't generate Makefile.in automatically.dos-reis1-6/+6
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-2/+6
2007-09-24 * config/setup-dep.mk ($(top_builddir)/libtool): Regenerate whendos-reis1-0/+3
2007-09-08 * configure.ac.pamphlet: Fix thinko.dos-reis1-8/+0
2007-09-08 * configure.ac.pamphlet (axiom_optimize_options): New substitueddos-reis1-0/+6
2007-09-04 * config/setup-dep.mk ($(top_srcdir)/configure.ac): Robustifydos-reis1-2/+6
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+3
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-0/+1
2007-08-14Initial population.dos-reis12-0/+17534