isabelle: src/Tools/jEdit/jedit_main/plugin.props@91ee232b4211 (annotated)

73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	1	## Isabelle/jEdit plugin properties
34520 909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); wenzelm parents: 34512 diff changeset	2	##
73991 9f42f2a80ef3 avoid non-standard encoding; wenzelm parents: 73987 diff changeset	3	##:wrap=soft:maxLineLen=100:
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	4
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	5	#identification
74052 f34d54b0e5de clarified names (again), e.g. relevant for "Plugin Options"; wenzelm parents: 74012 diff changeset	6	plugin.isabelle.jedit_main.Plugin.name=Isabelle
73991 9f42f2a80ef3 avoid non-standard encoding; wenzelm parents: 73987 diff changeset	7	plugin.isabelle.jedit_main.Plugin.author=Johannes H\u00F6lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
74431 75d14ac0547e updated for release; wenzelm parents: 74425 diff changeset	8	plugin.isabelle.jedit_main.Plugin.version=11.3
74012 341941afe827 clarified names; wenzelm parents: 73994 diff changeset	9	plugin.isabelle.jedit_main.Plugin.description=Isabelle/jEdit main plugin
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	10
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	11	#system parameters
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73991 diff changeset	12	plugin.isabelle.jedit_main.Plugin.activate=defer
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	13	plugin.isabelle.jedit_main.Plugin.usePluginHome=false
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	14
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	15	#dependencies
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	16	plugin.isabelle.jedit_main.Plugin.depend.0=jdk 11
74431 75d14ac0547e updated for release; wenzelm parents: 74425 diff changeset	17	plugin.isabelle.jedit_main.Plugin.depend.1=jedit 05.06.00.00
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	18	plugin.isabelle.jedit_main.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
74425 f63dea123304 update dependency; wenzelm parents: 74052 diff changeset	19	plugin.isabelle.jedit_main.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.4.0
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	20	plugin.isabelle.jedit_main.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	21	plugin.isabelle.jedit_main.Plugin.depend.5=plugin isabelle.jedit_base.Plugin 1.0
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	22
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	23	#options
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	24	plugin.isabelle.jedit_main.Plugin.option-group=isabelle-general isabelle-rendering
49354 65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	25	options.isabelle-general.label=General
65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	26	options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();
65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	27	options.isabelle-rendering.label=Rendering
65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	28	options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	29
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	30	#menu actions and dockables
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	31	plugin.isabelle.jedit_main.Plugin.menu.label=Isabelle
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 73119 diff changeset	32	plugin.isabelle.jedit_main.Plugin.menu= \
69643 83f15deb2d36 added action "isabelle-export-browser"; wenzelm parents: 68392 diff changeset	33	isabelle-export-browser \
69762 58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69643 diff changeset	34	isabelle-session-browser \
68067 b91c4acc1aaf clarified menu actions; wenzelm parents: 66464 diff changeset	35	isabelle.preview \
b91c4acc1aaf clarified menu actions; wenzelm parents: 66464 diff changeset	36	isabelle.draft \
72976 51442c6dc296 more robust Java monitor: avoid odd warning about insecure connection; wenzelm parents: 71521 diff changeset	37	isabelle.java-monitor \
68067 b91c4acc1aaf clarified menu actions; wenzelm parents: 66464 diff changeset	38	- \
60749 f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 60295 diff changeset	39	isabelle-debugger \
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	40	isabelle-documentation \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	41	isabelle-monitor \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	42	isabelle-output \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	43	isabelle-protocol \
56879 ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 56507 diff changeset	44	isabelle-query \
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	45	isabelle-raw-output \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	46	isabelle-simplifier-trace \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	47	isabelle-sledgehammer \
61208 19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	48	isabelle-state \
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	49	isabelle-symbols \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	50	isabelle-syslog \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	51	isabelle-theories \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	52	isabelle-timing
60749 f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 60295 diff changeset	53	isabelle-debugger.label=Debugger panel
f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 60295 diff changeset	54	isabelle-debugger.title=Debugger
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	55	isabelle-documentation.label=Documentation panel
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	56	isabelle-documentation.title=Documentation
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	57	isabelle-graphview.label=Graphview panel
50454 f4f5f98069a0 recovered title property from bfb5964e3041; wenzelm parents: 50452 diff changeset	58	isabelle-graphview.title=Graphview
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	59	isabelle-info.label=Info panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	60	isabelle-info.title=Info
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	61	isabelle-monitor.label=Monitor panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	62	isabelle-monitor.title=Monitor
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	63	isabelle-output.label=Output panel
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	64	isabelle-output.title=Output
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	65	isabelle-protocol.label=Protocol panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	66	isabelle-protocol.title=Protocol
56879 ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 56507 diff changeset	67	isabelle-query.label=Query panel
ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 56507 diff changeset	68	isabelle-query.title=Query
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	69	isabelle-raw-output.label=Raw Output panel
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 36817 diff changeset	70	isabelle-raw-output.title=Raw Output
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	71	isabelle-simplifier-trace.label=Simplifier Trace panel
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	72	isabelle-simplifier-trace.title=Simplifier Trace
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	73	isabelle-sledgehammer.label=Sledgehammer panel
52908 3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	74	isabelle-sledgehammer.title=Sledgehammer
61208 19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	75	isabelle-state.label=State panel
19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	76	isabelle-state.title=State
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	77	isabelle-symbols.label=Symbols panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	78	isabelle-symbols.title=Symbols
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	79	isabelle-syslog.label=Syslog panel
48021 d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48020 diff changeset	80	isabelle-syslog.title=Syslog
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	81	isabelle-theories.label=Theories panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	82	isabelle-theories.title=Theories
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	83	isabelle-timing.label=Timing panel
51533 3f6280aedbcc dockable window for timing information; wenzelm parents: 50728 diff changeset	84	isabelle-timing.title=Timing
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	85
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	86	#SideKick
58542 19e062fbfea0 more advanced NEWS tree structure and folding; wenzelm parents: 58526 diff changeset	87	mode.isabelle-news.folding=sidekick
52539 7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: 52445 diff changeset	88	mode.isabelle-news.sidekick.parser=isabelle-news
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	89	mode.isabelle-options.folding=sidekick
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	90	mode.isabelle-options.sidekick.parser=isabelle-options
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	91	mode.isabelle-root.folding=sidekick
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	92	mode.isabelle-root.sidekick.parser=isabelle-root
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	93	mode.isabelle.customSettings=true
58698 1be9855fb579 tuned signature; wenzelm parents: 58542 diff changeset	94	mode.isabelle.folding=isabelle
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	95	mode.isabelle.sidekick.parser=isabelle
73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	96	mode.isabelle.sidekick.showStatusWindow.label=true
63620 f1cae4239d4c clarified Sidekick setup; wenzelm parents: 63610 diff changeset	97	mode.isabelle-ml.folding=sidekick
63610 4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 62758 diff changeset	98	mode.isabelle-ml.sidekick.parser=isabelle-ml
63620 f1cae4239d4c clarified Sidekick setup; wenzelm parents: 63610 diff changeset	99	mode.sml.folding=sidekick
63610 4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 62758 diff changeset	100	mode.sml.sidekick.parser=isabelle-sml
58542 19e062fbfea0 more advanced NEWS tree structure and folding; wenzelm parents: 58526 diff changeset	101	mode.bibtex.folding=sidekick
58526 f05ccce3eca2 SideKick parser for bibtex entries; wenzelm parents: 57033 diff changeset	102	mode.bibtex.sidekick.parser=bibtex
73119 83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	103	sidekick.parser.isabelle.label=isabelle
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	104	sidekick.parser.isabelle-context.label=isabelle-context
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	105	sidekick.parser.isabelle-markup.label=isabelle-markup
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	106	sidekick.parser.isabelle-ml.label=isabelle-ml
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	107	sidekick.parser.isabelle-sml.label=isabelle-sml
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	108	sidekick.parser.isabelle-news.label=isabelle-news
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	109	sidekick.parser.isabelle-options.label=isabelle-options
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	110	sidekick.parser.isabelle-root.label=isabelle-root
83a2b6976515 proper labels for status message: "sidekick.parsing-complete={0} parsing complete, {1} error(s)"; wenzelm parents: 73013 diff changeset	111	sidekick.parser.bibtex.label=bibtex

author	wenzelm
	Thu, 25 Nov 2021 21:31:50 +0100
changeset 74845	91ee232b4211
parent 74431	75d14ac0547e
child 75816	91f02f224b80
permissions	-rw-r--r--