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