# HG changeset patch
# User wenzelm
# Date 1292855065 -3600
# Node ID 2e9bf718a7a1dbb0f59f27621dfe9003c9970a87
# Parent  9e576ec5c0dcbd8f8bb2ea91deb9f38555e7fdb9
some attempts to fit diagnostic output into regular TTY (75-80 characters per line);

diff -r 9e576ec5c0dc -r 2e9bf718a7a1 src/HOL/Mutabelle/lib/Tools/mutabelle
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Dec 20 15:19:15 2010 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Dec 20 15:24:25 2010 +0100
@@ -2,7 +2,7 @@
 #
 # Author: Lukas Bulwahn
 #
-# DESCRIPTION: mutant-testing tool for counterexample generators and automated proof tools
+# DESCRIPTION: mutant-testing for counterexample generators and automated tools
 
 
 PRG="$(basename "$0")"
@@ -16,7 +16,8 @@
   echo "    -T THEORY    parent theory to use (default $DEFAULT_MUTABELLE_IMPORT_THEORY)"
   echo "    -O DIR       output directory for test data (default $DEFAULT_MUTABELLE_OUTPUT_PATH)"
   echo
-  echo "  THEORY is the name of the theory of which all theorems should be mutated and tested"
+  echo "  THEORY is the name of the theory of which all theorems should be"
+  echo "  mutated and tested."
   echo
   exit 1
 }