Subroutine verbosity

Next: Subroutine verbosity_push_increment Up: Module system_module Previous: Subroutine verbosity_push Contents Index

Subroutine `verbosity_pop`

$\begin{boxedminipage}{\textwidth} \begin{verbatim}call verbosity_pop\end{verbatim} \end{boxedminipage}$

pop the current verbosity value off the stack verbosity_push_increment subroutine

gabor 2009-06-30