| changeset 25637 | e50550be4dfa |
| parent 25633 | a5d8e5c7a65a |
| child 28502 | 6b0e3e4e1891 |
| 25636:9cb3a10af5d0 | 25637:e50550be4dfa |
|---|---|
43 case "$OPT" in |
43 case "$OPT" in |
44 l) |
44 l) |
45 LOGIC="$OPTARG" |
45 LOGIC="$OPTARG" |
46 ;; |
46 ;; |
47 m) |
47 m) |
48 ISABELLE_OPTIONS="$ISABELLE_OPTIONS -m \"$OPTARG\"" |
48 ISABELLE_OPTIONS="$ISABELLE_OPTIONS -m $OPTARG" |
49 ;; |
49 ;; |
50 p) |
50 p) |
51 LINE_EDITOR="$OPTARG" |
51 LINE_EDITOR="$OPTARG" |
52 ;; |
52 ;; |
53 \?) |
53 \?) |