1.1 diff -r 72eb20f1a4ec -r e1f52aa9f252 scanner.l 1.2 --- a/scanner.l Fri Dec 28 04:44:15 2001 +0000 1.3 +++ b/scanner.l Fri Dec 28 04:55:47 2001 +0000 1.4 @@ -11,6 +11,8 @@ 1.5 1.6 %% 1.7 1.8 +\.\. { return (ELIPSIS); } 1.9 + 1.10 {digit}+ { yylval.integer = atoi (yytext); return (INTEGER); } 1.11 1.12 all { return (ALL); }