equal
deleted
inserted
replaced
30 <ACTION NAME="isabelle.toggle-node-required"> |
30 <ACTION NAME="isabelle.toggle-node-required"> |
31 <CODE> |
31 <CODE> |
32 isabelle.jedit.Isabelle.toggle_node_required(view); |
32 isabelle.jedit.Isabelle.toggle_node_required(view); |
33 </CODE> |
33 </CODE> |
34 </ACTION> |
34 </ACTION> |
35 <ACTION NAME="isabelle-update-state"> |
35 <ACTION NAME="isabelle.update-state"> |
36 <CODE> |
36 <CODE> |
37 isabelle.jedit.Isabelle.update_state(view); |
37 isabelle.jedit.Isabelle.update_state(view); |
38 </CODE> |
38 </CODE> |
39 </ACTION> |
39 </ACTION> |
40 <ACTION NAME="isabelle.reset-font-size"> |
40 <ACTION NAME="isabelle.reset-font-size"> |