Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2014-02-03 | Fix global variable names in Makefiles | dos-reis | 1 | -8/+8 |
2013-04-04 | Add initial io library files | dos-reis | 1 | -22/+0 |
2010-08-21 | External tool noweb is no longer required. | dos-reis | 1 | -10/+2 |
2007-12-28 | Don't generate Makefile.in automatically. | dos-reis | 1 | -6/+6 |
2007-09-24 | * config/setup-dep.mk ($(top_builddir)/libtool): Regenerate when | dos-reis | 1 | -0/+3 |
2007-09-08 | * configure.ac.pamphlet (axiom_optimize_options): New substitued | dos-reis | 1 | -0/+6 |
2007-09-04 | * config/setup-dep.mk ($(top_srcdir)/configure.ac): Robustify | dos-reis | 1 | -2/+6 |
2007-08-14 | Initial population. | dos-reis | 1 | -0/+158 |