src/Tools/isac/CLEANUP
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 23 Sep 2010 12:56:51 +0200
branchisac-update-Isa09-2
changeset 38013 e4f42a63d665
parent 37967 bd4f7a35e892
child 55334 43adea948db6
permissions -rwxr-xr-x
interrupted update test/../Knowledge/integrate.sml, repaired term2str

term2str by help from Florian and Jasmin; took the former.
Found at that point in integrate.sml,
that all "op +" etc need to be updated.
     1 rm *~
     2 rm *.tar*
     3 rm *.orig
     4 cd ProgLang
     5 	rm *~
     6 	rm #*
     7 	rm .#*
     8 	rm *.tar*
     9 	rm *.orig
    10        	cd .. 
    11 cd Interpret
    12 	rm *~
    13 	rm #*
    14 	rm .#*
    15 	rm *.tar*
    16 	rm *.orig
    17        	cd .. 
    18 cd xmlsrc
    19 	rm *~
    20 	rm #*
    21 	rm .#*
    22 	rm *.tar*
    23 	rm *.orig
    24        	cd .. 
    25 cd Frontend
    26 	rm *~
    27 	rm #*
    28 	rm .#*
    29 	rm *.tar*
    30 	rm *.orig
    31        	cd .. 
    32 cd Knowledge
    33 	rm *~
    34 	rm #*
    35 	rm .#*
    36 	rm *.tar*
    37 	rm *.orig
    38        	cd ..