Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Mutabelle/lib/Tools/mutabelle
changeset 41021 3efa0ec42ed4
parent 40975 498f272b4bcb
child 41077 fd6f41d349ef 
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Dec 06 16:37:15 2010 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Dec 06 17:33:25 2010 +0100
@@ -29,13 +29,13 @@
 do
   case "$OPT" in
     L)
-      MIRABELLE_LOGIC="$OPTARG"
+      MUTABELLE_LOGIC="$OPTARG"
       ;;
     T)
-      MIRABELLE_IMPORT_THEORY="$OPTARG"
+      MUTABELLE_IMPORT_THEORY="$OPTARG"
       ;;
     O)
-      MIRABELLE_OUTPUT_PATH="$OPTARG"
+      MUTABELLE_OUTPUT_PATH="$OPTARG"
       ;;
     \?)
       usage
isabelle