next up previous
Next: Includes Up: Miscellaneous Previous: Miscellaneous

Comments

After the % symbol the rest of line is ignored. The comment symbols {* and *} are only allowed at the places defined above.



Uwe Brahm
1999-09-15