Margin for pretty-printing is now a mutable reference.
#!/usr/bin/env bash## $Id$# Author: Stefan Berghofer, TU Muenchen# License: GPL (GNU GENERAL PUBLIC LICENSE)## DESCRIPTION: display Isabelle versionecho 'Isabelle repository version' # filled in automatically!