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-debugger \ |
33 isabelle-documentation \ |
34 isabelle-documentation \ |
34 isabelle-monitor \ |
35 isabelle-monitor \ |
35 isabelle-output \ |
36 isabelle-output \ |
36 isabelle-protocol \ |
37 isabelle-protocol \ |
37 isabelle-query \ |
38 isabelle-query \ |
40 isabelle-sledgehammer \ |
41 isabelle-sledgehammer \ |
41 isabelle-symbols \ |
42 isabelle-symbols \ |
42 isabelle-syslog \ |
43 isabelle-syslog \ |
43 isabelle-theories \ |
44 isabelle-theories \ |
44 isabelle-timing |
45 isabelle-timing |
|
46 isabelle-debugger.label=Debugger panel |
|
47 isabelle-debugger.title=Debugger |
45 isabelle-documentation.label=Documentation panel |
48 isabelle-documentation.label=Documentation panel |
46 isabelle-documentation.title=Documentation |
49 isabelle-documentation.title=Documentation |
47 isabelle-graphview.label=Graphview panel |
50 isabelle-graphview.label=Graphview panel |
48 isabelle-graphview.title=Graphview |
51 isabelle-graphview.title=Graphview |
49 isabelle-info.label=Info panel |
52 isabelle-info.label=Info panel |