diff --git a/syntax/maude.xml b/syntax/maude.xml index ecd6df1..f48b30e 100644 --- a/syntax/maude.xml +++ b/syntax/maude.xml @@ -1,5 +1,8 @@ - + + +]> @@ -45,22 +48,26 @@ + + + String="&tok_start;(?::[:=]?|->|<-|=>|=(?:=|/=)?|@)&tok_end;" /> - + - + String="&tok_start;-?\d*\.\d+(?:[eE][+-]?\d+)?&tok_end;" /> + @@ -110,6 +117,9 @@ - +