aboutsummaryrefslogtreecommitdiff
path: root/Makefile.pamphlet
AgeCommit message (Expand)AuthorFilesLines
2008-02-18 * Makefile.pamphlet (install): Tidy.dos-reis1-4/+4
2008-02-10Add support for batch processing.dos-reis1-2/+2
2008-01-052008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-26/+28
2007-12-28update AXIOM_SRC_TARGETSdos-reis1-1/+1
2007-11-262007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-2/+2
2007-10-102007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-19/+5
2007-09-10 * Makefile.pamphlet (all-noweb): Depend only on one target,dos-reis1-3/+5
2007-09-022007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-5/+22
2007-08-26 * Makefile.pamphlet ($(AXIOM_SRC_TARGETS)): Don't augment the PATHdos-reis1-2/+1
2007-08-24 * Makefile.pamphlet ($(addprefix $(axiom_build_bindir)/, notangledos-reis1-1/+2
2007-08-222007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu>dos-reis1-0/+5
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis1-0/+40
2007-08-14(no commit message)dos-reis1-191/+34
2007-08-14Initial population.dos-reis1-0/+837