src/Tools/isac/CLEANUP
author Walther Neuper <neuper@ist.tugraz.at>
Tue, 05 Oct 2010 09:01:30 +0200
branchisac-update-Isa09-2
changeset 38042 26f3832d96b2
parent 37967 bd4f7a35e892
child 55334 43adea948db6
permissions -rwxr-xr-x
repaired assoc_thy

such that assoc_thy "Rational" works.
There are related TODOs: fun theory'2thyID, ??
neuper@37906
     1
rm *~
neuper@37906
     2
rm *.tar*
neuper@37967
     3
rm *.orig
neuper@37964
     4
cd ProgLang
neuper@37906
     5
	rm *~
neuper@37906
     6
	rm #*
neuper@37906
     7
	rm .#*
neuper@37906
     8
	rm *.tar*
neuper@37924
     9
	rm *.orig
neuper@37906
    10
       	cd .. 
neuper@37964
    11
cd Interpret
neuper@37906
    12
	rm *~
neuper@37906
    13
	rm #*
neuper@37906
    14
	rm .#*
neuper@37906
    15
	rm *.tar*
neuper@37924
    16
	rm *.orig
neuper@37906
    17
       	cd .. 
neuper@37906
    18
cd xmlsrc
neuper@37906
    19
	rm *~
neuper@37906
    20
	rm #*
neuper@37906
    21
	rm .#*
neuper@37906
    22
	rm *.tar*
neuper@37924
    23
	rm *.orig
neuper@37906
    24
       	cd .. 
neuper@37947
    25
cd Frontend
neuper@37906
    26
	rm *~
neuper@37906
    27
	rm #*
neuper@37906
    28
	rm .#*
neuper@37906
    29
	rm *.tar*
neuper@37924
    30
	rm *.orig
neuper@37906
    31
       	cd .. 
neuper@37964
    32
cd Knowledge
neuper@37906
    33
	rm *~
neuper@37906
    34
	rm #*
neuper@37906
    35
	rm .#*
neuper@37906
    36
	rm *.tar*
neuper@37924
    37
	rm *.orig
neuper@37906
    38
       	cd ..