cleanup preparing ./thms-replace-Isa02-Isa09-2.sml isac-update-Isa09-2
authorWalther Neuper <neuper@ist.tugraz.at>
Tue, 31 Aug 2010 11:10:30 +0200
branchisac-update-Isa09-2
changeset 37964f72dd3f427e4
parent 37963 d297a7f71459
child 37965 9c11005c33b8
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml
src/Tools/isac/CLEANUP
     1.1 --- a/src/Tools/isac/CLEANUP	Tue Aug 31 10:22:15 2010 +0200
     1.2 +++ b/src/Tools/isac/CLEANUP	Tue Aug 31 11:10:30 2010 +0200
     1.3 @@ -1,13 +1,13 @@
     1.4  rm *~
     1.5  rm *.tar*
     1.6 -cd Scripts
     1.7 +cd ProgLang
     1.8  	rm *~
     1.9  	rm #*
    1.10  	rm .#*
    1.11  	rm *.tar*
    1.12  	rm *.orig
    1.13         	cd .. 
    1.14 -cd ME
    1.15 +cd Interpret
    1.16  	rm *~
    1.17  	rm #*
    1.18  	rm .#*
    1.19 @@ -28,7 +28,7 @@
    1.20  	rm *.tar*
    1.21  	rm *.orig
    1.22         	cd .. 
    1.23 -cd IsacKnowledge
    1.24 +cd Knowledge
    1.25  	rm *~
    1.26  	rm #*
    1.27  	rm .#*