aboutsummaryrefslogtreecommitdiff
path: root/config
AgeCommit message (Expand)AuthorFilesLines
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