equal
deleted
inserted
replaced
28 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2(); |
28 options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2(); |
29 |
29 |
30 #menu actions and dockables |
30 #menu actions and dockables |
31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
31 plugin.isabelle.jedit.Plugin.menu.label=Isabelle |
32 plugin.isabelle.jedit.Plugin.menu= \ |
32 plugin.isabelle.jedit.Plugin.menu= \ |
|
33 isabelle.preview \ |
|
34 isabelle.draft \ |
|
35 - \ |
33 isabelle-debugger \ |
36 isabelle-debugger \ |
34 isabelle-documentation \ |
37 isabelle-documentation \ |
35 isabelle-monitor \ |
38 isabelle-monitor \ |
36 isabelle-output \ |
39 isabelle-output \ |
37 isabelle-protocol \ |
40 isabelle-protocol \ |