equal
deleted
inserted
replaced
55 <ACTION NAME="isabelle.input-bold"> |
55 <ACTION NAME="isabelle.input-bold"> |
56 <CODE> |
56 <CODE> |
57 isabelle.jedit.Isabelle.input_bold(textArea); |
57 isabelle.jedit.Isabelle.input_bold(textArea); |
58 </CODE> |
58 </CODE> |
59 </ACTION> |
59 </ACTION> |
60 |
60 <ACTION NAME="isabelle.check-buffer"> |
|
61 <CODE> |
|
62 isabelle.jedit.Isabelle.check_buffer(buffer); |
|
63 </CODE> |
|
64 </ACTION> |
|
65 <ACTION NAME="isabelle.cancel-execution"> |
|
66 <CODE> |
|
67 isabelle.jedit.Isabelle.cancel_execution(); |
|
68 </CODE> |
|
69 </ACTION> |
61 </ACTIONS> |
70 </ACTIONS> |