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