wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~~ wneuper@59416: rm *.sml~~~ wneuper@59416: rm *.sml~~~~ wneuper@59416: rm *.sml~~~~~ wneuper@59416: rm *.sml~~~~~~ wneuper@59416: rm *.sml~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~~ wneuper@59416: rm *.thy~~~ wneuper@59416: rm *.thy~~~~ wneuper@59416: rm *.thy~~~~~ wneuper@59416: rm *.thy~~~~~~ wneuper@59416: rm *.thy~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~~ neuper@37906: rm *.tar* neuper@37967: rm *.orig walther@59603: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ wneuper@59588: cd CalcElements walther@59691: echo "cd CalcElements was successful ----------------------------------------------------------" wneuper@59588: rm *.sml~ wneuper@59588: rm *.sml~ wneuper@59588: rm *.sml~~ wneuper@59588: rm *.sml~~~ wneuper@59588: rm *.sml~~~~ wneuper@59588: rm *.sml~~~~~ wneuper@59588: rm *.sml~~~~~~ wneuper@59588: rm *.sml~~~~~~~ wneuper@59588: rm *.sml~~~~~~~~ wneuper@59588: rm *.sml~~~~~~~~~ wneuper@59588: rm *.sml~~~~~~~~~~ wneuper@59588: rm *.thy~ wneuper@59588: rm *.thy~ wneuper@59588: rm *.thy~~ wneuper@59588: rm *.thy~~~ wneuper@59588: rm *.thy~~~~ wneuper@59588: rm *.thy~~~~~ wneuper@59588: rm *.thy~~~~~~ wneuper@59588: rm *.thy~~~~~~~ wneuper@59588: rm *.thy~~~~~~~~ wneuper@59588: rm *.thy~~~~~~~~~ wneuper@59588: rm *.thy~~~~~~~~~~ walther@59675: rm #* walther@59675: rm .\#* walther@59675: rm *.tar* walther@59675: rm *.orig walther@59603: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ wneuper@59588: cd .. walther@59827: cd Doc walther@59827: rm *~ walther@59827: cd Lucas_Interpreter walther@59827: rm *~ walther@59827: cd document walther@59827: rm *~ walther@59827: cd .. walther@59827: cd output walther@59827: rm * walther@59827: rm -rf document/ walther@59827: cd .. walther@59827: cd .. walther@59827: cd .. walther@59675: cd ProgLang walther@59691: echo "cd ProgLang was successful -------------------------------------------------------------" walther@59691: rm *.sml~ walther@59691: rm *.sml~ walther@59691: rm *.sml~~ walther@59691: rm *.sml~~~ walther@59691: rm *.sml~~~~ walther@59691: rm *.sml~~~~~ walther@59691: rm *.sml~~~~~~ walther@59691: rm *.sml~~~~~~~ walther@59691: rm *.sml~~~~~~~~ walther@59691: rm *.sml~~~~~~~~~ walther@59691: rm *.sml~~~~~~~~~~ walther@59691: rm *.thy~ walther@59691: rm *.thy~ walther@59691: rm *.thy~~ walther@59691: rm *.thy~~~ walther@59691: rm *.thy~~~~ walther@59691: rm *.thy~~~~~ walther@59691: rm *.thy~~~~~~ walther@59691: rm *.thy~~~~~~~ walther@59691: rm *.thy~~~~~~~~ walther@59691: rm *.thy~~~~~~~~~ walther@59691: rm *.thy~~~~~~~~~~ walther@59691: rm #* walther@59691: rm .\#* walther@59691: rm *.tar* walther@59691: rm *.orig walther@59691: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ walther@59691: cd .. walther@59691: cd MathEngBasic walther@59691: echo "cd MathEngBasic was successful ---------------------------------------------------------" wneuper@59595: rm *.sml~ wneuper@59595: rm *.sml~ wneuper@59595: rm *.sml~~ wneuper@59595: rm *.sml~~~ wneuper@59595: rm *.sml~~~~ wneuper@59595: rm *.sml~~~~~ wneuper@59595: rm *.sml~~~~~~ wneuper@59595: rm *.sml~~~~~~~ wneuper@59595: rm *.sml~~~~~~~~ wneuper@59595: rm *.sml~~~~~~~~~ wneuper@59595: rm *.sml~~~~~~~~~~ wneuper@59595: rm *.thy~ wneuper@59595: rm *.thy~ wneuper@59595: rm *.thy~~ wneuper@59595: rm *.thy~~~ wneuper@59595: rm *.thy~~~~ wneuper@59595: rm *.thy~~~~~ wneuper@59595: rm *.thy~~~~~~ wneuper@59595: rm *.thy~~~~~~~ wneuper@59595: rm *.thy~~~~~~~~ wneuper@59595: rm *.thy~~~~~~~~~ wneuper@59595: rm *.thy~~~~~~~~~~ walther@59675: rm #* walther@59675: rm .\#* walther@59675: rm *.tar* walther@59675: rm *.orig walther@59603: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ wneuper@59377: cd .. walther@59675: cd Specify walther@59691: echo "cd Specify was successful --------------------------------------------------------------" wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~~ wneuper@59416: rm *.sml~~~ wneuper@59416: rm *.sml~~~~ wneuper@59416: rm *.sml~~~~~ wneuper@59416: rm *.sml~~~~~~ wneuper@59416: rm *.sml~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~~ wneuper@59416: rm *.thy~~~ wneuper@59416: rm *.thy~~~~ wneuper@59416: rm *.thy~~~~~ wneuper@59416: rm *.thy~~~~~~ wneuper@59416: rm *.thy~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~~ walther@59675: rm #* walther@59675: rm *#~ walther@59675: rm .\#* walther@59675: rm *.tar* walther@59675: rm *.orig walther@59603: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ wneuper@59377: cd .. walther@59675: cd Interpret walther@59691: echo "cd Interpret was successful ------------------------------------------------------------" wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~~ wneuper@59416: rm *.sml~~~ wneuper@59416: rm *.sml~~~~ wneuper@59416: rm *.sml~~~~~ wneuper@59416: rm *.sml~~~~~~ wneuper@59416: rm *.sml~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~~ wneuper@59416: rm *.thy~~~ wneuper@59416: rm *.thy~~~~ wneuper@59416: rm *.thy~~~~~ wneuper@59416: rm *.thy~~~~~~ wneuper@59416: rm *.thy~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~~ walther@59675: rm #* walther@59675: rm .\#* walther@59675: rm *.tar* walther@59675: rm *.orig walther@59603: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ wneuper@59377: cd .. walther@59675: cd MathEngine walther@59691: echo "cd MathEngine was successful -----------------------------------------------------------" wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~~ wneuper@59416: rm *.sml~~~ wneuper@59416: rm *.sml~~~~ wneuper@59416: rm *.sml~~~~~ wneuper@59416: rm *.sml~~~~~~ wneuper@59416: rm *.sml~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~~ wneuper@59416: rm *.thy~~~ wneuper@59416: rm *.thy~~~~ wneuper@59416: rm *.thy~~~~~ wneuper@59416: rm *.thy~~~~~~ wneuper@59416: rm *.thy~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~~ walther@59675: rm #* walther@59675: rm #*~ walther@59675: rm .\#* walther@59675: rm *.tar* walther@59675: rm *.orig walther@59603: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ wneuper@59377: cd .. walther@59675: cd BridgeLibisabelle walther@59691: echo "cd BridgeLibisabelle was successful ----------------------------------------------------" wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~ wneuper@59416: rm *.sml~~ wneuper@59416: rm *.sml~~~ wneuper@59416: rm *.sml~~~~ wneuper@59416: rm *.sml~~~~~ wneuper@59416: rm *.sml~~~~~~ wneuper@59416: rm *.sml~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~ wneuper@59416: rm *.sml~~~~~~~~~~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~ wneuper@59416: rm *.thy~~ wneuper@59416: rm *.thy~~~ wneuper@59416: rm *.thy~~~~ wneuper@59416: rm *.thy~~~~~ wneuper@59416: rm *.thy~~~~~~ wneuper@59416: rm *.thy~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~ wneuper@59416: rm *.thy~~~~~~~~~~ walther@59675: rm #* walther@59675: rm .\#* walther@59675: rm *.tar* walther@59675: rm *.orig walther@59675: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ walther@59675: cd .. walther@59675: cd Knowledge walther@59691: echo "cd Knowledge was successful -----------------------------------------------------------" walther@59675: rm *.sml~ walther@59675: rm *.sml~ walther@59675: rm *.sml~~ walther@59675: rm *.sml~~~ walther@59675: rm *.sml~~~~ walther@59675: rm *.sml~~~~~ walther@59675: rm *.sml~~~~~~ walther@59675: rm *.sml~~~~~~~ walther@59675: rm *.sml~~~~~~~~ walther@59675: rm *.sml~~~~~~~~~ walther@59675: rm *.sml~~~~~~~~~~ walther@59675: rm *.thy~ walther@59675: rm *.thy~ walther@59675: rm *.thy~~ walther@59675: rm *.thy~~~ walther@59675: rm *.thy~~~~ walther@59675: rm *.thy~~~~~ walther@59675: rm *.thy~~~~~~ walther@59675: rm *.thy~~~~~~~ walther@59675: rm *.thy~~~~~~~~ walther@59675: rm *.thy~~~~~~~~~ walther@59675: rm *.thy~~~~~~~~~~ walther@59675: rm #* walther@59675: rm .\#* walther@59675: rm *.tar* walther@59675: rm *.orig walther@59603: rm *.orig~ walther@59691: rm *.orig~~ walther@59691: rm *.orig~~~ wneuper@59377: cd ..