Re: @; and @by
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <Pine.SOL.4.64.1102090715130.22153@math> |
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: [email protected] Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ =======================================================================