Re: [mizar] @; and @by

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

Hi,

On Mon, 7 Feb 2011, Piotr Rudnicki wrote:

>   - Pragmas are useful indeed.  Are they documented anywhere else?

No, as far as I know.

>   - I like Freek's suggestion.  Thanks.
>   - The convenience of @; and @by is hard to beat though.

True, but, hopefully, one doesn't need them so often that the 
convenience really mattered.

Best,

Adam

=======================================================================
Dept. of Programming and Formal Methods  Fax: +48(85)7457662
Institute of Informatics                 Tel: +48(85)7457559 (office)
University of Bialystok                  E-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland     http://math.uwb.edu.pl/~adamn/
=======================================================================