1.1 --- a/src/HOL/Mirabelle/lib/Tools/mirabelle	Sat Apr 14 23:34:18 2012 +0200
     1.2 +++ b/src/HOL/Mirabelle/lib/Tools/mirabelle	Sat Apr 14 23:52:17 2012 +0100
     1.3 @@ -8,10 +8,10 @@
     1.4  PRG="$(basename "$0")"
     1.5  
     1.6  function print_action_names() {
     1.7 -  TOOLS="$MIRABELLE_HOME/Tools/mirabelle_*.ML"
     1.8 -  for NAME in $TOOLS
     1.9 +  ACTIONS="$MIRABELLE_HOME/Actions/mirabelle_*.ML"
    1.10 +  for ACTION in $ACTIONS
    1.11    do
    1.12 -    echo $NAME | sed 's/.*mirabelle_\(.*\)\.ML/    \1/'
    1.13 +    echo $ACTION | sed 's/.*mirabelle_\(.*\)\.ML/    \1/'
    1.14    done
    1.15  }
    1.16