aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2007-08-17 * configure.ac.pamphlet: Check for executable gcl beforedos-reis4-12/+22
toplevel directory gcl. * configure.ac: Regenerate. * configure: Likewise.
2007-08-16 * TODO: Updatedos-reis2-0/+6
2007-08-16 * configure.ac.pamphlet: Don't error out if noweb source filesdos-reis7-10/+113
are present when no executable is available. * configure.ac.: Regenerate. * configure: Likewise. * config/var-def.mk (axiom_build_nowebdir): Resurect. * Makefile.pamphlet (<<noweb>>): Resurect. (clean-local): Remove noweb build dir too. * Makefile.in: Regenerate.
2007-08-15 * configure.ac.pamphlet: Check GCL tarball dependency.dos-reis4-3/+45
* configure.in: Regenerate.
2007-08-14(no commit message)dos-reis11-285/+108
2007-08-14(no commit message)dos-reis1-0/+3
2007-08-14(no commit message)dos-reis1-1/+1
2007-08-14 * Makefile.pamphlet ($(axiom_targetdir)/algebra/*.daase): Don'tdos-reis3-6/+6
copy gloss.text. Don't copy topics.data twice. * Makefile.in: Regenerate.
2007-08-14Initial population.dos-reis2882-0/+1756970