# HG changeset patch
# User Walther Neuper <neuper@ist.tugraz.at>
# Date 1283245830 -7200
# Node ID f72dd3f427e4549664d500ca22e251ed1eff608d
# Parent  d297a7f714597c9651c247d4104ca025e87e384b
cleanup preparing ./thms-replace-Isa02-Isa09-2.sml

diff -r d297a7f71459 -r f72dd3f427e4 src/Tools/isac/CLEANUP
--- a/src/Tools/isac/CLEANUP	Tue Aug 31 10:22:15 2010 +0200
+++ b/src/Tools/isac/CLEANUP	Tue Aug 31 11:10:30 2010 +0200
@@ -1,13 +1,13 @@
 rm *~
 rm *.tar*
-cd Scripts
+cd ProgLang
 	rm *~
 	rm #*
 	rm .#*
 	rm *.tar*
 	rm *.orig
        	cd .. 
-cd ME
+cd Interpret
 	rm *~
 	rm #*
 	rm .#*
@@ -28,7 +28,7 @@
 	rm *.tar*
 	rm *.orig
        	cd .. 
-cd IsacKnowledge
+cd Knowledge
 	rm *~
 	rm #*
 	rm .#*