src/Tools/isac/CLEANUP
author Walther Neuper <neuper@ist.tugraz.at>
Wed, 25 Aug 2010 16:20:07 +0200
branchisac-update-Isa09-2
changeset 37947 22235e4dbe5f
parent 37924 6c53fe2519e5
child 37964 f72dd3f427e4
permissions -rwxr-xr-x
renamed isac's directories and Build_Isac.thy

Scripts --> ProgLang
ME --> Interpret
IsacKnowledge --> Knowledge
     1 rm *~
     2 rm *.tar*
     3 cd Scripts
     4 	rm *~
     5 	rm #*
     6 	rm .#*
     7 	rm *.tar*
     8 	rm *.orig
     9        	cd .. 
    10 cd ME
    11 	rm *~
    12 	rm #*
    13 	rm .#*
    14 	rm *.tar*
    15 	rm *.orig
    16        	cd .. 
    17 cd xmlsrc
    18 	rm *~
    19 	rm #*
    20 	rm .#*
    21 	rm *.tar*
    22 	rm *.orig
    23        	cd .. 
    24 cd Frontend
    25 	rm *~
    26 	rm #*
    27 	rm .#*
    28 	rm *.tar*
    29 	rm *.orig
    30        	cd .. 
    31 cd IsacKnowledge
    32 	rm *~
    33 	rm #*
    34 	rm .#*
    35 	rm *.tar*
    36 	rm *.orig
    37        	cd ..