[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Syntax

On Tue, 16 Jul 2002, Andrzej Trybulec wrote:

>  consider x being set;
>
>  x is;
> ::>  *309
> ::>
> ::> 309: Type or attribute expected

The error message reported by parser in this situation should rather be
"Mode symbol or attribute symbol expected". That's my fault - it will be
changed in the next release (coming soon).

Regards,
Adam Naumowicz

--------------------------------------
WWW: http://math.uwb.edu.pl/~adamn/
--------------------------------------