%class %defaults
You may also have a look at, the other examples in examples/grammar or the sources in sources/grammar
As concerns formatting, the \%\%@ directive may only be used for the first time when the regular \%\% directive is expected. After that you may use it without restrictions provide that you close with the \%\%</> directive.
Hush Online Technology
hush@cs.vu.nl
11/03/98 |
![]() |
![]() |