CLEANUP
author Walther Neuper <walther.neuper@jku.at>
Fri, 26 Mar 2021 10:45:05 +0100
changeset 5239 b4e3883d7b66
parent 4967 60263777d6d4
permissions -rwxr-xr-x
reset mathematics-engine to Isabelle2015

note: for this version libisabelle was available,
which connects front-end (Java) and back-end (Isabelle/ML)
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 ../