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
wneuper@4967
     1
echo "*** cannot work this way due to recursive calls !  ***\n
wneuper@4967
     2
*** so go to respective CLEANUP in sub-directories ***"
wneuper@4967
     3
wneuper@4967
     4
# cd isac-java/src/java/isac/
wneuper@4967
     5
# 	./CLEANUP
wneuper@4967
     6
# cd ../../../../
wneuper@4967
     7
# cd isac-java/test/java/isac/
wneuper@4967
     8
# 	./CLEANUP
wneuper@4967
     9
# cd ../../../../
wneuper@4967
    10
# cd xmldata
wneuper@4967
    11
# 	./CLEANUP
wneuper@4967
    12
# cd ../