| changeset 24620 | 40811901b998 |
| parent 24220 | a479ac416ac2 |
| child 25451 | 7bd190cac91e |
| 24619:c2e6a0f8c30b | 24620:40811901b998 |
|---|---|
15 echo |
15 echo |
16 echo "Usage: $PRG IMAGE THY SERI" |
16 echo "Usage: $PRG IMAGE THY SERI" |
17 echo |
17 echo |
18 echo " Issues code generation using image IMAGE," |
18 echo " Issues code generation using image IMAGE," |
19 echo " theory THY," |
19 echo " theory THY," |
20 echo " with Isar command 'code_gen SERI'" |
20 echo " with Isar command 'export_code SERI'" |
21 echo |
21 echo |
22 exit 1 |
22 exit 1 |
23 } |
23 } |
24 |
24 |
25 |
25 |