| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2010-08-21 | External tool noweb is no longer required. | dos-reis | 1 | -0/+77 | |
| * INSTALL: Update instructions. * Makefile.pamphlet: Remove rules for building noweb. (AXIOM_SRC_TARGETS): Include all-utils. * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for notangle and noweave. * config/setup-dep.mk: Remove rules for generating document. * config/var-def.mk: Remove NOTANGLE and NOWEAVE variables. * configure.ac: Instantiate Makefile for src/utils. | |||||
 |
index : open-axiom | |
| open scientific computation system | Igor Pashev |
| aboutsummaryrefslogtreecommitdiff |