equal
deleted
inserted
replaced
224 isabelle.reset-font-size.label=Reset font size |
224 isabelle.reset-font-size.label=Reset font size |
225 isabelle.reset-node-required.label=Reset node required |
225 isabelle.reset-node-required.label=Reset node required |
226 isabelle.reset-words.label=Reset non-permanent words |
226 isabelle.reset-words.label=Reset non-permanent words |
227 isabelle.set-continuous-checking.label=Set continuous checking |
227 isabelle.set-continuous-checking.label=Set continuous checking |
228 isabelle.set-node-required.label=Set node required |
228 isabelle.set-node-required.label=Set node required |
|
229 isabelle.toggle-breakpoint.label=Toggle Breakpoint |
229 isabelle.toggle-continuous-checking.label=Toggle continuous checking |
230 isabelle.toggle-continuous-checking.label=Toggle continuous checking |
230 isabelle.toggle-continuous-checking.shortcut=C+e ENTER |
231 isabelle.toggle-continuous-checking.shortcut=C+e ENTER |
231 isabelle.toggle-node-required.label=Toggle node required |
232 isabelle.toggle-node-required.label=Toggle node required |
232 isabelle.toggle-node-required.shortcut=C+e SPACE |
233 isabelle.toggle-node-required.shortcut=C+e SPACE |
233 lang.usedefaultlocale=false |
234 lang.usedefaultlocale=false |