CLEANUP
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 4967 60263777d6d4
permissions -rwxr-xr-x
------ connection to new math-engine on Isabelle2018: question 4 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 ../