diff options
author | dos-reis <gdr@axiomatics.org> | 2007-10-14 08:53:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-10-14 08:53:35 +0000 |
commit | 095703f8cc7439cddda478b12667c5ac8264b6d5 (patch) | |
tree | cc7a8dc987cd91ec29082900cac30c28e339b20b /src/boot | |
parent | 80f5cef01abdaee3b8c818ea07f534570e94c6d4 (diff) | |
download | open-axiom-095703f8cc7439cddda478b12667c5ac8264b6d5.tar.gz |
more work toward removing depsys
Diffstat (limited to 'src/boot')
-rw-r--r-- | src/boot/ChangeLog | 5 | ||||
-rw-r--r-- | src/boot/tokens.boot.pamphlet | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/boot/ChangeLog b/src/boot/ChangeLog index a22d37e0..56258d27 100644 --- a/src/boot/ChangeLog +++ b/src/boot/ChangeLog @@ -1,3 +1,8 @@ +2007-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * tokens.boot.pamphlet: SHOEEQ and Old Boot EQUAL are know to + be semantically equivalent. + 2007-10-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * ast.boot.pamphlet (bfGetOldBootName): New. diff --git a/src/boot/tokens.boot.pamphlet b/src/boot/tokens.boot.pamphlet index 482729a8..4f2405c1 100644 --- a/src/boot/tokens.boot.pamphlet +++ b/src/boot/tokens.boot.pamphlet @@ -461,7 +461,7 @@ for i in [ _ ["MINUS", "SPADDIFFERENCE"], _ ["SLASH", "QUOTIENT"], _ ["=", "EQUAL"], _ - ["SHOEEQ", "BOOT-EQUAL"], _ + ["SHOEEQ", "EQUAL"], _ ["ASSOC", "assoc"], _ ["DELETE", "delete"], _ ["GET", "GETL"], _ @@ -484,6 +484,7 @@ for i in [ _ for i in [ _ "LT", "LE", _ "GT", "GE", _ + "SHOENE", _ "TIMES", "PLUS", _ "MINUS", "function",_ "PAIRP" |