| changeset 27985 | fb774d10ea4c |
| parent 27965 | 4557e77d4d3d |
| child 27987 | c3f7fa72af2a |
| 27984:b4dd58cff97c | 27985:fb774d10ea4c |
|---|---|
14 isabelle/IsabelleDock.scala \ |
14 isabelle/IsabelleDock.scala \ |
15 isabelle/IsabelleParser.scala \ |
15 isabelle/IsabelleParser.scala \ |
16 && ( |
16 && ( |
17 cp *.xml *.props build/ |
17 cp *.xml *.props build/ |
18 cd build |
18 cd build |
19 jar cf ../../isabelle.jar isabelle/*.class *.xml *.props |
19 jar cf ../../isabelle.jar . |
20 ) |
20 ) |
21 |
21 |
22 rm -rf build/ |
22 rm -rf build/ |