![](https://secure.gravatar.com/avatar/cedc4d83943006afe3994fb0a0455f82.jpg?s=120&d=mm&r=g)
18 Jul
2010
18 Jul
'10
1:06 a.m.
On Sat, Jul 17 2010, Hans Hagen wrote:
- props -> properties (or whatever, but no shortcuts)
No more needed.
- args -> arguments
Done.
- [=[ looks rather bad but anyhow, examples should probably not be done this way (examples can be go into tex files)
Ok, why not! Peter -- Contact information: http://pmrb.free.fr/contact/