Snapshot.convert/revert: explicit error report to isolate sporadic crash;
## $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