equal
deleted
inserted
replaced
209 isabelle.increase-font-size.shortcut=C+PLUS |
209 isabelle.increase-font-size.shortcut=C+PLUS |
210 isabelle.increase-font-size2.label=Increase font size (clone) |
210 isabelle.increase-font-size2.label=Increase font size (clone) |
211 isabelle.increase-font-size2.shortcut=C+EQUALS |
211 isabelle.increase-font-size2.shortcut=C+EQUALS |
212 isabelle.reset-continuous-checking.label=Reset continuous checking |
212 isabelle.reset-continuous-checking.label=Reset continuous checking |
213 isabelle.reset-font-size.label=Reset font size |
213 isabelle.reset-font-size.label=Reset font size |
|
214 isabelle.reset-font-size.shortcut2=C+NUMPAD0 |
214 isabelle.reset-font-size.shortcut=C+0 |
215 isabelle.reset-font-size.shortcut=C+0 |
215 isabelle.reset-node-required.label=Reset node required |
216 isabelle.reset-node-required.label=Reset node required |
216 isabelle.set-continuous-checking.label=Set continuous checking |
217 isabelle.set-continuous-checking.label=Set continuous checking |
217 isabelle.set-node-required.label=Set node required |
218 isabelle.set-node-required.label=Set node required |
218 isabelle.toggle-continuous-checking.label=Toggle continuous checking |
219 isabelle.toggle-continuous-checking.label=Toggle continuous checking |