isabelle: src/Tools/jEdit/plugin/Isabelle.props@4187cec99c11 (annotated)

34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	1	## Isabelle plugin properties
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	2
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	3	#identification
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	4	plugin.isabelle.jedit.Plugin.name=Isabelle
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	5	plugin.isabelle.jedit.Plugin.version=0.0.1
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	6	plugin.isabelle.jedit.Plugin.description=Isabelle/Isar proof document support
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	7
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	8	#system parameters
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	9	plugin.isabelle.jedit.Plugin.activate=defer
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	10	plugin.isabelle.jedit.Plugin.usePluginHome=false
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	11	plugin.isabelle.jedit.Plugin.jars=isabelle-Pure.jar core-renderer.jar scala-library.jar
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	12
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	13	#dependencies
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	14	plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	15	plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	16	plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	17	plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	18
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	19	#options
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	20	plugin.isabelle.jedit.Plugin.option-pane=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	21	options.isabelle.label=Isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	22	options.isabelle.code=new isabelle.jedit.OptionPane();
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	23	options.isabelle.font-path.title=Font Path
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	24	options.isabelle.font-size.title=Font Size
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	25	options.isabelle.font-size=14
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	26
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	27	#menu
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	28	plugin.isabelle.jedit.Plugin.menu.label=Isabelle
34342 b2781f2cd80a LazyScroller: rendering messages only when needed immler@in.tum.de parents: 34318 diff changeset	29	plugin.isabelle.jedit.Plugin.menu=Isabelle.show-output Isabelle.show-state Isabelle.activate Isabelle.show-scroller
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	30
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	31	Isabelle.show-output.label=Show Output
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	32	Isabelle.show-state.label=Show State
34342 b2781f2cd80a LazyScroller: rendering messages only when needed immler@in.tum.de parents: 34318 diff changeset	33	Isabelle.show-scroller.label=Show Scroller
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	34	Isabelle.activate.label=Activate current buffer
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	35
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	36	Isabelle_output.title=Isabelle Output
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	37	Isabelle_state.title=Isabelle State
34342 b2781f2cd80a LazyScroller: rendering messages only when needed immler@in.tum.de parents: 34318 diff changeset	38	Isabelle_scroller.title=Isabelle Scroller
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	39
34393 f0e1608a774f basic tree structure for sidekick immler@in.tum.de parents: 34342 diff changeset	40	sidekick.parser.isabelle.label=Isabelle
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	41	mode.isabelle.sidekick.parser=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	42	mode.ml.sidekick.parser=isabelle

author	wenzelm
	Sat, 20 Dec 2008 16:07:51 +0100
changeset 34420	4187cec99c11
parent 34418	5f25eb86c6a0
child 34421	c57a53d4469a
permissions	-rw-r--r--