equal
deleted
inserted
replaced
143 rm doc/Isa-logics.eps |
143 rm doc/Isa-logics.eps |
144 rm doc/adaptation.dvi doc/adaptation.pdf doc/architecture.dvi doc/architecture.pdf |
144 rm doc/adaptation.dvi doc/adaptation.pdf doc/architecture.dvi doc/architecture.pdf |
145 rm -rf doc-src |
145 rm -rf doc-src |
146 |
146 |
147 mkdir -p contrib |
147 mkdir -p contrib |
|
148 cat >contrib/README <<EOF |
|
149 This directory contains add-on components that contribute to the main |
|
150 Isabelle distribution. Separate licensing conditions apply, see each |
|
151 directory individually. |
|
152 EOF |
148 |
153 |
149 cp doc/isabelle*.eps lib/logo |
154 cp doc/isabelle*.eps lib/logo |
150 |
155 |
151 rm Isabelle Isabelle.exe |
156 rm Isabelle Isabelle.exe |
152 |
157 |