lib/Tools/findlogics
changeset 2968 8ba30b031f31
parent 2936 bd33e7aae062
child 3007 e5efa177ee0c
     1.1 --- a/lib/Tools/findlogics	Wed Apr 16 18:53:36 1997 +0200
     1.2 +++ b/lib/Tools/findlogics	Thu Apr 17 10:30:57 1997 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  
     1.5  for DIR in $(echo $ISABELLE_PATH | tr : " ")
     1.6  do
     1.7 -  for FILE in $DIR/$ML_SYSTEM-$PLATFORM/*
     1.8 +  for FILE in $DIR/*
     1.9    do
    1.10      if [ -f "$FILE" ]; then
    1.11        NAME=$(basename "$FILE")