CLEANUP
author Walther Neuper <wneuper@ist.tugraz.at>
Thu, 13 Sep 2018 11:14:30 +0200
changeset 5231 ed1bee7c6784
parent 4967 60263777d6d4
permissions -rwxr-xr-x
------ connection to new math-engine on Isabelle2018: question to Lars
     1 echo "*** cannot work this way due to recursive calls !  ***\n
     2 *** so go to respective CLEANUP in sub-directories ***"
     3 
     4 # cd isac-java/src/java/isac/
     5 # 	./CLEANUP
     6 # cd ../../../../
     7 # cd isac-java/test/java/isac/
     8 # 	./CLEANUP
     9 # cd ../../../../
    10 # cd xmldata
    11 # 	./CLEANUP
    12 # cd ../