--- a/src/Tools/jEdit/plugin/IsabellePlugin.props Sat Dec 20 14:19:12 2008 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,29 +0,0 @@
-# jEdit Properties
-
-plugin.isabelle.jedit.Plugin.activate=startup
-plugin.isabelle.jedit.Plugin.name=IsabellePlugin
-plugin.isabelle.jedit.Plugin.version=0.1
-plugin.isabelle.jedit.Plugin.description=Isabelle/Isar integration into jEdit
-plugin.isabelle.jedit.Plugin.option-pane=isabelle
-
-plugin.isabelle.jedit.Plugin.menu.label=Isabelle
-plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
-
-Isabelle.show-output.label=Show Output
-Isabelle.show-state.label=Show State
-Isabelle.show-scroller.label=Show Scroller
-Isabelle.activate.label=Activate current buffer
-
-Isabelle_output.title=Isabelle Output
-Isabelle_state.title=Isabelle State
-Isabelle_scroller.title=Isabelle Scroller
-
-options.isabelle.label=Isabelle
-options.isabelle.code=new isabelle.jedit.OptionPane();
-options.isabelle.font-path.title=Font Path
-options.isabelle.font-size.title=Font Size
-options.isabelle.font-size=14
-
-plugin.isabelle.jedit.Plugin.depend.1=plugin sidekick.SideKickPlugin 0.7.6
-sidekick.parser.isabelle.label=Isabelle
-mode.text.sidekick.parser=isabelle
\ No newline at end of file