isabelle: src/Tools/jEdit/src/Isabelle.props@3dced198b9ec (annotated)

34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	1	## Isabelle plugin properties
34520 909b2610da52 recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013); wenzelm parents: 34512 diff changeset	2	##
39515 57ceabb0bb8e basic setup for prover session panel; wenzelm parents: 38854 diff changeset	3	##:encoding=ISO-8859-1: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
5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	6	plugin.isabelle.jedit.Plugin.name=Isabelle
62019 9de1eb745aeb updated for release; wenzelm parents: 61746 diff changeset	7	plugin.isabelle.jedit.Plugin.author=Johannes H�lzl, Lars Hupel, Fabian Immler, Markus Kaiser, Makarius Wenzel
68392 b2510432c94d updated for release; wenzelm parents: 68067 diff changeset	8	plugin.isabelle.jedit.Plugin.version=10.0
49566 66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	9	plugin.isabelle.jedit.Plugin.description=Isabelle Prover IDE
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
66459 b578ef1a8b40 more robust plugin restart; wenzelm parents: 66457 diff changeset	12	plugin.isabelle.jedit.Plugin.activate=defer
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	13	plugin.isabelle.jedit.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
62758 c439a7348138 updated dependencies; wenzelm parents: 62674 diff changeset	16	plugin.isabelle.jedit.Plugin.depend.0=jdk 1.8
68392 b2510432c94d updated for release; wenzelm parents: 68067 diff changeset	17	plugin.isabelle.jedit.Plugin.depend.1=jedit 05.05.00.00
58896 5a2f475e2ded approximative update of versions; wenzelm parents: 58698 diff changeset	18	plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 5.1.4
5a2f475e2ded approximative update of versions; wenzelm parents: 58698 diff changeset	19	plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 2.3
61511 d40f906bb13f updated to jedit-5.3.0 and SideKick 1.8; wenzelm parents: 61208 diff changeset	20	plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.8
66457 9098c36abd1a separate base plugin for important services that should be always available, despite startup errors of the main plugin; wenzelm parents: 65329 diff changeset	21	plugin.isabelle.jedit.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
49354 65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	24	plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering
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
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	31	plugin.isabelle.jedit.Plugin.menu.label=Isabelle
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	32	plugin.isabelle.jedit.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 \
b91c4acc1aaf clarified menu actions; wenzelm parents: 66464 diff changeset	37	- \
60749 f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 60295 diff changeset	38	isabelle-debugger \
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	39	isabelle-documentation \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	40	isabelle-monitor \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	41	isabelle-output \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	42	isabelle-protocol \
56879 ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 56507 diff changeset	43	isabelle-query \
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	44	isabelle-raw-output \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	45	isabelle-simplifier-trace \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	46	isabelle-sledgehammer \
61208 19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	47	isabelle-state \
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	48	isabelle-symbols \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	49	isabelle-syslog \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	50	isabelle-theories \
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	51	isabelle-timing
60749 f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 60295 diff changeset	52	isabelle-debugger.label=Debugger panel
f727b99faaf7 skeleton for interactive debugger; wenzelm parents: 60295 diff changeset	53	isabelle-debugger.title=Debugger
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	54	isabelle-documentation.label=Documentation panel
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	55	isabelle-documentation.title=Documentation
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	56	isabelle-graphview.label=Graphview panel
50454 f4f5f98069a0 recovered title property from bfb5964e3041; wenzelm parents: 50452 diff changeset	57	isabelle-graphview.title=Graphview
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	58	isabelle-info.label=Info panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	59	isabelle-info.title=Info
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	60	isabelle-monitor.label=Monitor panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	61	isabelle-monitor.title=Monitor
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	62	isabelle-output.label=Output panel
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	63	isabelle-output.title=Output
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	64	isabelle-protocol.label=Protocol panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	65	isabelle-protocol.title=Protocol
56879 ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 56507 diff changeset	66	isabelle-query.label=Query panel
ee2b61f37ad9 renamed "Find" to "Query", with more general operations; wenzelm parents: 56507 diff changeset	67	isabelle-query.title=Query
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	68	isabelle-raw-output.label=Raw Output panel
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 36817 diff changeset	69	isabelle-raw-output.title=Raw Output
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	70	isabelle-simplifier-trace.label=Simplifier Trace panel
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	71	isabelle-simplifier-trace.title=Simplifier Trace
298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	72	isabelle-sledgehammer.label=Sledgehammer panel
52908 3461985dcbc3 dockable window for Sledgehammer, based on asynchronous/parallel query operation; wenzelm parents: 52846 diff changeset	73	isabelle-sledgehammer.title=Sledgehammer
61208 19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	74	isabelle-state.label=State panel
19118f9b939d separate panel for proof state output; wenzelm parents: 60749 diff changeset	75	isabelle-state.title=State
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	76	isabelle-symbols.label=Symbols panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	77	isabelle-symbols.title=Symbols
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	78	isabelle-syslog.label=Syslog panel
48021 d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48020 diff changeset	79	isabelle-syslog.title=Syslog
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	80	isabelle-theories.label=Theories panel
50433 9131dadb2bf7 basic monitor panel, using the powerful jfreechart library; wenzelm parents: 50308 diff changeset	81	isabelle-theories.title=Theories
55558 298274c970b6 more uniform treatment of dockables and their standard actions; wenzelm parents: 55557 diff changeset	82	isabelle-timing.label=Timing panel
51533 3f6280aedbcc dockable window for timing information; wenzelm parents: 50728 diff changeset	83	isabelle-timing.title=Timing
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	84
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	85	#SideKick
58542 19e062fbfea0 more advanced NEWS tree structure and folding; wenzelm parents: 58526 diff changeset	86	mode.isabelle-news.folding=sidekick
52539 7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: 52445 diff changeset	87	mode.isabelle-news.sidekick.parser=isabelle-news
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	88	mode.isabelle-options.folding=sidekick
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	89	mode.isabelle-options.sidekick.parser=isabelle-options
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	90	mode.isabelle-root.folding=sidekick
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	91	mode.isabelle-root.sidekick.parser=isabelle-root
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	92	mode.isabelle.customSettings=true
58698 1be9855fb579 tuned signature; wenzelm parents: 58542 diff changeset	93	mode.isabelle.folding=isabelle
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	94	mode.isabelle.sidekick.parser=isabelle
73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	95	mode.isabelle.sidekick.showStatusWindow.label=true
63620 f1cae4239d4c clarified Sidekick setup; wenzelm parents: 63610 diff changeset	96	mode.isabelle-ml.folding=sidekick
63610 4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 62758 diff changeset	97	mode.isabelle-ml.sidekick.parser=isabelle-ml
63620 f1cae4239d4c clarified Sidekick setup; wenzelm parents: 63610 diff changeset	98	mode.sml.folding=sidekick
63610 4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 62758 diff changeset	99	mode.sml.sidekick.parser=isabelle-sml
58542 19e062fbfea0 more advanced NEWS tree structure and folding; wenzelm parents: 58526 diff changeset	100	mode.bibtex.folding=sidekick
58526 f05ccce3eca2 SideKick parser for bibtex entries; wenzelm parents: 57033 diff changeset	101	mode.bibtex.sidekick.parser=bibtex

author	wenzelm
	Mon, 25 Mar 2019 17:21:26 +0100
changeset 69981	3dced198b9ec
parent 69762	58fb0d779583
child 70034	6f2ab7f150f6
permissions	-rw-r--r--