Re: @; and @by
Piotr Rudnicki <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <[email protected]> |
On Tue, Feb 8, 2011 at 11:28 PM, Adam Naumowicz <[email protected]>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: [email protected] > Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ > ======================================================================= > > -- Piotr Rudnicki http://www.cs.ualberta.ca/~piotr