1.1 --- a/src/Tools/isac/CLEANUP	Fri Aug 23 17:23:25 2019 +0200
     1.2 +++ b/src/Tools/isac/CLEANUP	Sat Aug 24 12:31:48 2019 +0200
     1.3 @@ -22,6 +22,34 @@
     1.4  rm *.thy~~~~~~~~~~
     1.5  rm *.tar*
     1.6  rm *.orig
     1.7 +cd CalcElements
     1.8 +  rm *.sml~
     1.9 +  rm *.sml~
    1.10 +  rm *.sml~~
    1.11 +  rm *.sml~~~
    1.12 +  rm *.sml~~~~
    1.13 +  rm *.sml~~~~~
    1.14 +  rm *.sml~~~~~~
    1.15 +  rm *.sml~~~~~~~
    1.16 +  rm *.sml~~~~~~~~
    1.17 +  rm *.sml~~~~~~~~~
    1.18 +  rm *.sml~~~~~~~~~~
    1.19 +  rm *.thy~
    1.20 +  rm *.thy~
    1.21 +  rm *.thy~~
    1.22 +  rm *.thy~~~
    1.23 +  rm *.thy~~~~
    1.24 +  rm *.thy~~~~~
    1.25 +  rm *.thy~~~~~~
    1.26 +  rm *.thy~~~~~~~
    1.27 +  rm *.thy~~~~~~~~
    1.28 +  rm *.thy~~~~~~~~~
    1.29 +  rm *.thy~~~~~~~~~~
    1.30 +	rm #*
    1.31 +	rm .\#*
    1.32 +	rm *.tar*
    1.33 +	rm *.orig
    1.34 +  cd .. 
    1.35  cd ProgLang
    1.36    rm *.sml~
    1.37    rm *.sml~