1.1 --- a/docs/exceptions.txt Sun Feb 20 01:35:15 2011 +0100
1.2 +++ b/docs/exceptions.txt Sun Feb 20 19:31:50 2011 +0100
1.3 @@ -47,5 +47,6 @@
1.4 PushHandler(block) defines an active handler at the location indicated by the
1.5 given block.
1.6
1.7 -PopHandler removes the active handler at or after the location indicated by
1.8 -the previously given block.
1.9 +PopHandler(n) removes the n topmost active handlers. A single handler is
1.10 +typically removed when leaving a try block, but potentially more handlers are
1.11 +removed when such a block is exited using a return statement.