Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-02-10 | Add support for batch processing. | dos-reis | 1 | -2/+2 |
2008-01-05 | 2008-01-05 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 1 | -20/+20 |
2007-12-28 | update AXIOM_SRC_TARGETS | dos-reis | 1 | -1/+1 |
2007-11-26 | 2007-11-25 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 1 | -2/+2 |
2007-10-10 | 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 1 | -5/+5 |
2007-09-10 | * Makefile.pamphlet (all-noweb): Depend only on one target, | dos-reis | 1 | -3/+5 |
2007-09-02 | 2007-09-01 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 1 | -5/+22 |
2007-08-26 | * Makefile.pamphlet ($(AXIOM_SRC_TARGETS)): Don't augment the PATH | dos-reis | 1 | -2/+1 |
2007-08-24 | * Makefile.pamphlet ($(addprefix $(axiom_build_bindir)/, notangle | dos-reis | 1 | -1/+2 |
2007-08-22 | 2007-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> | dos-reis | 1 | -0/+5 |
2007-08-16 | * configure.ac.pamphlet: Don't error out if noweb source files | dos-reis | 1 | -0/+28 |
2007-08-14 | (no commit message) | dos-reis | 1 | -29/+5 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+99 |