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-export-browser \ |
33 isabelle.preview \ |
34 isabelle.preview \ |
34 isabelle.draft \ |
35 isabelle.draft \ |
35 - \ |
36 - \ |
36 isabelle-debugger \ |
37 isabelle-debugger \ |
37 isabelle-documentation \ |
38 isabelle-documentation \ |