changeset 62114 | a7cf464933f7 |
parent 61737 | b91b1ebfc8a0 |
child 62167 | cb806a024bba |
62113:16de2a9b5b3d | 62114:a7cf464933f7 |
---|---|
194 rm -rf src |
194 rm -rf src |
195 mv src.orig src |
195 mv src.orig src |
196 |
196 |
197 rm -rf Admin browser_info heaps |
197 rm -rf Admin browser_info heaps |
198 |
198 |
199 ./bin/isabelle java isabelle.NEWS |
|
200 |
|
199 |
201 |
200 # create archive |
202 # create archive |
201 |
203 |
202 echo "### Creating archive" |
204 echo "### Creating archive" |
203 |
205 |