# HG changeset patch
# User wenzelm
# Date 1335951900 -7200
# Node ID bbc3e7bccc611bece154e8dea002b7a97a0fd00a
# Parent  2a2bc13669bd47548423435042c387499d65ab5e
back to "Tools" in conformance with toplevel Isabelle layout (cf. 3fabf352243e, 15f4309bb9eb);

diff -r 2a2bc13669bd -r bbc3e7bccc61 src/HOL/Mirabelle/lib/Tools/mirabelle
--- a/src/HOL/Mirabelle/lib/Tools/mirabelle	Mon Apr 30 21:59:10 2012 +0200
+++ b/src/HOL/Mirabelle/lib/Tools/mirabelle	Wed May 02 11:45:00 2012 +0200
@@ -8,7 +8,7 @@
 PRG="$(basename "$0")"
 
 function print_action_names() {
-  TOOLS="$MIRABELLE_HOME/Actions/mirabelle_*.ML"
+  TOOLS="$MIRABELLE_HOME/Tools/mirabelle_*.ML"
   for TOOL in $TOOLS
   do
     echo $TOOL | perl -w -p -e 's/.*mirabelle_(.*)\.ML/    $1/'
@@ -16,7 +16,7 @@
 }
 
 function print_sledgehammer_options() {
-  grep -e "^val .*K =" $MIRABELLE_HOME/Actions/mirabelle_sledgehammer.ML \
+  grep -e "^val .*K =" $MIRABELLE_HOME/Tools/mirabelle_sledgehammer.ML \
   | perl -w -p -e 's/val .*K *= *"(.*)" *\(\*(.*)\*\)/    $1$2/'
 }