Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
some attempts to fit diagnostic output into regular TTY (75-80 characters per line);
authorwenzelm
Mon, 20 Dec 2010 15:24:25 +0100
changeset 41309 2e9bf718a7a1
parent 41308 9e576ec5c0dc
child 41310 65631ca437c9
some attempts to fit diagnostic output into regular TTY (75-80 characters per line);
src/HOL/Mutabelle/lib/Tools/mutabelle file | annotate | diff | comparison | revisions 
--- 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
 }
isabelle