![](https://secure.gravatar.com/avatar/565476157eb3895a9c928ffce26d988d.jpg?s=120&d=mm&r=g)
19 Aug
2005
19 Aug
'05
2:46 p.m.
Idris Samawi Hamid wrote:
Dear knights,
There is apparently something wrong with the indenting mechanism in the latest context: I have to invoke indenting twice to cut it on (uncomment the second \setupindenting):
I've verified this bug, but will probably have to wait until Hans is back (i don't understand his changes to \setupindenting) Taco