isabelle: src/Tools/jEdit/plugin/Isabelle.props@2dd8ced4f2ae (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
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	5	plugin.isabelle.jedit.Plugin.author=Johannes Hölzl, Fabian Immler, Makarius Wenzel
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	6	plugin.isabelle.jedit.Plugin.version=0.0.1
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	7	plugin.isabelle.jedit.Plugin.description=Isabelle/Isar live document editing
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	8
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	9	#system parameters
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	10	plugin.isabelle.jedit.Plugin.activate=defer
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	11	plugin.isabelle.jedit.Plugin.usePluginHome=false
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	12	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	13
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	14	#dependencies
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	15	plugin.isabelle.jedit.Plugin.depend.0=jdk 1.5
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	16	plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.14.00
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	17	plugin.isabelle.jedit.Plugin.depend.2=plugin errorlist.ErrorListPlugin 1.7
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	18	plugin.isabelle.jedit.Plugin.depend.3=plugin sidekick.SideKickPlugin 0.7.6
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	19
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	20	#options
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	21	plugin.isabelle.jedit.Plugin.option-pane=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	22	options.isabelle.label=Isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	23	options.isabelle.code=new isabelle.jedit.OptionPane();
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	24	options.isabelle.font-path.title=Font Path
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	25	options.isabelle.font-size.title=Font Size
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	26	options.isabelle.font-size=14
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	27
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	28	#menu actions
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	29	plugin.isabelle.jedit.Plugin.menu.label=Isabelle
34427 46aff93a5863 tuned order of menu items; wenzelm parents: 34421 diff changeset	30	plugin.isabelle.jedit.Plugin.menu=isabelle.activate isabelle.show-state isabelle.show-output isabelle.show-scroller
46aff93a5863 tuned order of menu items; wenzelm parents: 34421 diff changeset	31	isabelle.activate.label=Activate current buffer
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	32	isabelle.show-state.label=Show State
34427 46aff93a5863 tuned order of menu items; wenzelm parents: 34421 diff changeset	33	isabelle.show-output.label=Show Output
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	34	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	35
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	36	#dockables
c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	37	isabelle-output.title=Isabelle Output
c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	38	isabelle-state.title=Isabelle State
c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	39	isabelle-scroller.title=Isabelle Scroller
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	40
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	41	#SideKick
34393 f0e1608a774f basic tree structure for sidekick immler@in.tum.de parents: 34342 diff changeset	42	sidekick.parser.isabelle.label=Isabelle
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	43	mode.isabelle.sidekick.parser=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	44	mode.ml.sidekick.parser=isabelle

author	immler@in.tum.de
	Sat, 10 Jan 2009 17:33:21 +0100
changeset 34461	2dd8ced4f2ae
parent 34427	46aff93a5863
child 34512	14d70378f1c7
permissions	-rw-r--r--