doc-isac/msteger/bakk-arbeit/CLEANUP
author Walther Neuper <neuper@ist.tugraz.at>
Tue, 17 Sep 2013 09:50:52 +0200
changeset 52107 f8845fc8f38d
parent 52056 src/Doc/isac/msteger/bakk-arbeit/CLEANUP@f5d9bceb4dc0
permissions -rwxr-xr-x
separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)
     1 rm *.dvi
     2 rm *.bbl
     3 rm *.blg
     4 rm *.aux
     5 rm *.log
     6 rm *.nav
     7 rm *.out
     8 rm *.snm
     9 rm *.toc
    10 rm *~