Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
CLEANUP
author Walther Neuper <wneuper@ist.tugraz.at>
Thu, 23 Aug 2018 17:23:11 +0200
changeset 59459 a6ad1f2cbe21
parent 59256 b29a65783ffe
permissions -rwxr-xr-x
/----- finish update Isabelle2017 --> Isabelle2018
wneuper@59256 
     1
 
cd src/Tools/isac/
wneuper@59256 
     2
 
  ./CLEANUP
wneuper@59256 
     3
 
cd ../../../
wneuper@59256 
     4
 
cd test/Tools/isac/
wneuper@59256 
     5
 
  ./CLEANUP
wneuper@59256 
     6
 
cd ../../../
wneuper/isa