| changeset 28504 | 7ad7d7d6df47 |
| parent 28500 | 4b79e5d3d0aa |
| child 28650 | a7ba12e0d3b7 |
| 28503:a30b7169fdd1 | 28504:7ad7d7d6df47 |
|---|---|
17 function usage() |
17 function usage() |
18 { |
18 { |
19 echo |
19 echo |
20 echo "Usage: $PRG [ARGS ...]" |
20 echo "Usage: $PRG [ARGS ...]" |
21 echo |
21 echo |
22 echo " Apply isatool make to all logics (passing ARGS)." |
22 echo " Apply isabelle make to all logics (passing ARGS)." |
23 echo |
23 echo |
24 exit 1 |
24 exit 1 |
25 } |
25 } |
26 |
26 |
27 function fail() |
27 function fail() |