Re: [mizar] @; and @by

On Tue, Feb 8, 2011 at 11:28 PM, Adam Naumowicz <adamn@math.uwb.edu.pl> wrote:

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.

The degree of need varies wildly among people and considering the small cost of implementation I would like to have them. The pragmas are for sure good when coping with a bigger chunk of text, but for single lines you know my favourite.

Cheers, PR

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/
=======================================================================