From 1eb14e96624d84451e348ceccd3f2622d5335cd8 Mon Sep 17 00:00:00 2001 From: nisikimi Date: Fri, 30 Oct 2009 03:57:11 +0000 Subject: [PATCH] *** empty log message *** --- xex.txt | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/xex.txt b/xex.txt index 376ef8c..0adac9b 100644 --- a/xex.txt +++ b/xex.txt @@ -139,6 +139,8 @@ LSH = '' INTTERM INTTERM '' | '' INTTERM '' LT = '' INTTERM INTTERM '' LE = '' INTTERM INTTERM '' +GE = '' INTTERM INTTERM '' +GT ='' INTTERM INTTERM '' EQ = '' XXXTERM + '' @@ -148,10 +150,7 @@ EQ = '' XXXTERM + '' NOTEQ = '' XXXTERM XXXTERM '' ;; If XXXTERMs have the same object, the value is 0. Othersise the -;; value is 0. - -GE = '' INTTERM INTTERM '' -GT ='' INTTERM INTTERM '' +;; value is 1. APPEND = '' XXXTERM + '' | '' XXXTERM + '' @@ -169,13 +168,13 @@ CONCAT = '' [ STRTERM | INTTERM | LISTTERM ] + '' | '' [ STRTERM | INTTERM | LISTTERM ] + '' ;; In the first form, the value is a STR made by concatinating all -;; strings made from the arguments as below: +;; the strings made from the arguments as below: ;; STRTERM gives a string contained in it. ;; INTTERM gives a string of a character whose code is INTTERM's integer. -;; LSTTERM must contain only INTTERMs, and give a string containing +;; LISTTERM must contain only INTTERMs, and give a string containing ;; characters whose codes are INTTERM's integer. -;; In the second form, the value of the variable VNAM must be a STR, +;; In the second form, the value of the variable VNAME must be a STR, ;; and that STR is modified destructively by concatinating the ;; arguments in the same manner as the previous case. The value is ;; the resulting STR. @@ -204,7 +203,7 @@ NOT = '' XXXTERM '' EQUAL = '' XXXTERM1 XXXTERM2 '' ;; If XXX1 equals to XXX2, the value is 1. Otherwise the value is 0. -;; The equality of terms are decided as below: +;; The equality of terms is decided as below: ;; INT: INT1 equals to INT2 iff they contain the same integer values. ;; STR: STR1 equals to STR2 iff they contain strings of the same characters. ;; SYM: SYM1 equals to SSYM2 iff they contain the same symbol. -- 1.7.10.4