Pretty.string_of (in Scala): actually observe margin/metric;
## $Id$### targetsdefault: dvi## dependenciesdvi: cd Isar/document; make dvipdf: cd Isar/document; make pdfclean: cd Isar/document; make cleanmrproper: rm -f *.pdf *.dvi cd Isar/document; make mrproper