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
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 ../