doc/CLEANUP
author Walther Neuper <wneuper@ist.tugraz.at>
Wed, 19 Dec 2018 12:51:51 +0100
changeset 5236 bdd3733fa7db
parent 4108 8f87f14b3f8c
permissions -rwxr-xr-x
------ connection to new math-engine on Isabelle2018: question 4 to Lars
     1 rm \#*
     2 rm *.aux
     3 rm *.bbl
     4 rm *.blg
     5 rm *.toc
     6 rm *.dvi
     7 rm *.ps*
     8 # rm *.pdf
     9 rm *.log
    10 rm *.tmp
    11 rm *.lot
    12 rm *.lof
    13 rm *~
    14 rm fig/*fig.bak
    15 rm bib/*~