renamed IsabellePlugin to Isabelle;
authorwenzelm
Sat Dec 20 14:48:10 2008 +0100 (2008-12-20)
changeset 344185f25eb86c6a0
parent 34417 bce2f2ea9819
child 34419 30e49efdd4e3
renamed IsabellePlugin to Isabelle;
tuned properties according to http://isabelle.in.tum.de/repos/isabelle/file/b1c6f4563df7/lib/jedit/plugin/Isabelle.props;
src/Tools/jEdit/build.xml
src/Tools/jEdit/plugin/Isabelle.props
src/Tools/jEdit/plugin/IsabellePlugin.props
     1.1 --- a/src/Tools/jEdit/build.xml	Sat Dec 20 14:19:12 2008 +0100
     1.2 +++ b/src/Tools/jEdit/build.xml	Sat Dec 20 14:48:10 2008 +0100
     1.3 @@ -70,6 +70,6 @@
     1.4        <copy file="plugin/services.xml" todir="${build.classes.dir}" />
     1.5        <copy file="plugin/dockables.xml" todir="${build.classes.dir}" />
     1.6        <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
     1.7 -      <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" />
     1.8 +      <copy file="plugin/Isabelle.props" todir="${build.classes.dir}" />
     1.9      </target>
    1.10  </project>
     2.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.2 +++ b/src/Tools/jEdit/plugin/Isabelle.props	Sat Dec 20 14:48:10 2008 +0100
     2.3 @@ -0,0 +1,41 @@
     2.4 +## Isabelle plugin properties
     2.5 +
     2.6 +#identification
     2.7 +plugin.isabelle.jedit.Plugin.name=Isabelle
     2.8 +plugin.isabelle.jedit.Plugin.version=0.0.1
     2.9 +plugin.isabelle.jedit.Plugin.description=Isabelle/Isar proof document support
    2.10 +
    2.11 +#system parameters
    2.12 +plugin.isabelle.jedit.Plugin.activate=startup
    2.13 +plugin.isabelle.jedit.Plugin.option-pane=isabelle
    2.14 +plugin.isabelle.jedit.Plugin.usePluginHome=false
    2.15 +plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar
    2.16 +
    2.17 +#dependencies
    2.18 +plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5
    2.19 +plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00
    2.20 +plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
    2.21 +plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
    2.22 +
    2.23 +#menu
    2.24 +plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    2.25 +plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
    2.26 +
    2.27 +Isabelle.show-output.label=Show Output
    2.28 +Isabelle.show-state.label=Show State
    2.29 +Isabelle.show-scroller.label=Show Scroller
    2.30 +Isabelle.activate.label=Activate current buffer
    2.31 +
    2.32 +Isabelle_output.title=Isabelle Output
    2.33 +Isabelle_state.title=Isabelle State
    2.34 +Isabelle_scroller.title=Isabelle Scroller
    2.35 +
    2.36 +#options
    2.37 +options.isabelle.label=Isabelle
    2.38 +options.isabelle.code=new isabelle.jedit.OptionPane();
    2.39 +options.isabelle.font-path.title=Font Path
    2.40 +options.isabelle.font-size.title=Font Size
    2.41 +options.isabelle.font-size=14
    2.42 +
    2.43 +sidekick.parser.isabelle.label=Isabelle
    2.44 +mode.text.sidekick.parser=isabelle
    2.45 \ No newline at end of file
     3.1 --- a/src/Tools/jEdit/plugin/IsabellePlugin.props	Sat Dec 20 14:19:12 2008 +0100
     3.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.3 @@ -1,29 +0,0 @@
     3.4 -# jEdit Properties
     3.5 -
     3.6 -plugin.isabelle.jedit.Plugin.activate=startup
     3.7 -plugin.isabelle.jedit.Plugin.name=IsabellePlugin
     3.8 -plugin.isabelle.jedit.Plugin.version=0.1
     3.9 -plugin.isabelle.jedit.Plugin.description=Isabelle/Isar integration into jEdit
    3.10 -plugin.isabelle.jedit.Plugin.option-pane=isabelle
    3.11 -
    3.12 -plugin.isabelle.jedit.Plugin.menu.label=Isabelle
    3.13 -plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
    3.14 -
    3.15 -Isabelle.show-output.label=Show Output
    3.16 -Isabelle.show-state.label=Show State
    3.17 -Isabelle.show-scroller.label=Show Scroller
    3.18 -Isabelle.activate.label=Activate current buffer
    3.19 -
    3.20 -Isabelle_output.title=Isabelle Output
    3.21 -Isabelle_state.title=Isabelle State
    3.22 -Isabelle_scroller.title=Isabelle Scroller
    3.23 -
    3.24 -options.isabelle.label=Isabelle
    3.25 -options.isabelle.code=new isabelle.jedit.OptionPane();
    3.26 -options.isabelle.font-path.title=Font Path
    3.27 -options.isabelle.font-size.title=Font Size
    3.28 -options.isabelle.font-size=14
    3.29 -
    3.30 -plugin.isabelle.jedit.Plugin.depend.1=plugin sidekick.SideKickPlugin 0.7.6
    3.31 -sidekick.parser.isabelle.label=Isabelle
    3.32 -mode.text.sidekick.parser=isabelle
    3.33 \ No newline at end of file