| changeset 63748 | ebcc70c120a9 |
| parent 63455 | 019856db2bb6 |
| child 66019 | 69b5ef78fb07 |
| 63747:b9b5a0ab54ee | 63748:ebcc70c120a9 |
|---|---|
150 <ACTION NAME="isabelle.options"> |
150 <ACTION NAME="isabelle.options"> |
151 <CODE> |
151 <CODE> |
152 isabelle.jedit.Isabelle.plugin_options(view); |
152 isabelle.jedit.Isabelle.plugin_options(view); |
153 </CODE> |
153 </CODE> |
154 </ACTION> |
154 </ACTION> |
155 <ACTION NAME="isabelle.keymap-merge"> |
|
156 <CODE> |
|
157 isabelle.jedit.Keymap_Merge.check_dialog(view); |
|
158 </CODE> |
|
159 </ACTION> |
|
155 </ACTIONS> |
160 </ACTIONS> |