diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-20 18:46:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-20 18:46:46 +0000 |
| commit | 1dd827ef13faa3285b5a9735965d92f841922668 (patch) | |
| tree | 4171a641b7abb590aedc2ae477515b56431a8a77 /config/open-axiom.m4 | |
| parent | 4a59904058b23f18702b074a8f945157f65f26d5 (diff) | |
| download | open-axiom-1dd827ef13faa3285b5a9735965d92f841922668.tar.gz | |
* interp/Makefile.pamphlet (parse.$(FASLEXT)): Don't compile as
Old Boot.
* interp/parse.boot (parseTypeEvaluate): Remove.
(parseTypeEvaluateArgs): Likewise.
(parseType): Don't evaluate type during parsing.
($oldParserExpandAbbrs): Remove.
(parseTypeError): Likewise.
(specialModeTran): Likewise.
Diffstat (limited to 'config/open-axiom.m4')
0 files changed, 0 insertions, 0 deletions