isabelle: src/Tools/jEdit/src/Isabelle.props@4ff5d795ed08 (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
49566 66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	7	plugin.isabelle.jedit.Plugin.author=Johannes H�lzl, Fabian Immler, Markus Kaiser, Makarius Wenzel
66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	8	plugin.isabelle.jedit.Plugin.version=1.0.0
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
34803 74ea350c9b2f back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system; wenzelm parents: 34773 diff changeset	12	plugin.isabelle.jedit.Plugin.activate=startup
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
49566 66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	16	plugin.isabelle.jedit.Plugin.depend.0=jdk 1.7
66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	17	plugin.isabelle.jedit.Plugin.depend.1=jedit 04.05.02.00
66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	18	plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.5
66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	19	plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.9
66cbf8bb4693 basic integration of graphview into document model; wenzelm parents: 49494 diff changeset	20	plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 1.3
34418 5f25eb86c6a0 renamed IsabellePlugin to Isabelle; wenzelm parents: 34393 diff changeset	21
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	22	#options
49354 65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	23	plugin.isabelle.jedit.Plugin.option-group=isabelle-general isabelle-rendering
65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	24	options.isabelle-general.label=General
65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	25	options.isabelle-general.code=new isabelle.jedit.Isabelle_Options1();
65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	26	options.isabelle-rendering.label=Rendering
65c6a1d62dbc more scalable option-group; wenzelm parents: 49245 diff changeset	27	options.isabelle-rendering.code=new isabelle.jedit.Isabelle_Options2();
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	28
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	29	#actions
44865 679f0d57e831 some keyboard shortcuts for important actions; wenzelm parents: 44238 diff changeset	30	isabelle.check-buffer.label=Commence full proof checking of current buffer
679f0d57e831 some keyboard shortcuts for important actions; wenzelm parents: 44238 diff changeset	31	isabelle.check-buffer.shortcut=C+e SPACE
679f0d57e831 some keyboard shortcuts for important actions; wenzelm parents: 44238 diff changeset	32	isabelle.cancel-execution.label=Cancel current proof checking process
679f0d57e831 some keyboard shortcuts for important actions; wenzelm parents: 44238 diff changeset	33	isabelle.cancel-execution.shortcut=C+e BACK_SPACE
679f0d57e831 some keyboard shortcuts for important actions; wenzelm parents: 44238 diff changeset	34	isabelle.input-isub.label=Input subscript
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	35	isabelle.input-isub.shortcut=C+e DOWN
44865 679f0d57e831 some keyboard shortcuts for important actions; wenzelm parents: 44238 diff changeset	36	isabelle.input-isup.label=Input superscript
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	37	isabelle.input-isup.shortcut=C+e UP
44865 679f0d57e831 some keyboard shortcuts for important actions; wenzelm parents: 44238 diff changeset	38	isabelle.input-bold.label=Input bold face
44238 36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	39	isabelle.input-bold.shortcut=C+e RIGHT
36120feb70ed some convenience actions/shortcuts for control symbols; wenzelm parents: 43286 diff changeset	40
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	41	#menu actions
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	42	plugin.isabelle.jedit.Plugin.menu.label=Isabelle
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	43	plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.graphview-panel isabelle.raw-output-panel isabelle.protocol-panel isabelle.readme-panel isabelle.symbols-panel isabelle.syslog-panel
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	44	isabelle.session-panel.label=Prover Session panel
a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	45	isabelle.output-panel.label=Output panel
49570 2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	46	isabelle.graphview-panel.label=Graphview panel
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	47	isabelle.raw-output-panel.label=Raw Output panel
a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	48	isabelle.protocol-panel.label=Protocol panel
48014 63021e59cbf0 separate README dockable, which allows to make it more prominent first and remove it later; wenzelm parents: 45446 diff changeset	49	isabelle.readme-panel.label=README panel
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	50	isabelle.symbols-panel.label=Symbols panel
48021 d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48020 diff changeset	51	isabelle.syslog-panel.label=Syslog panel
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	52
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	53	#dockables
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	54	isabelle-session.title=Prover Session
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	55	isabelle-output.title=Output
49726 2074197dc274 detach tooltip as dockable window; wenzelm parents: 49611 diff changeset	56	isabelle-info.title=Info
49570 2265456f6131 more uniform graphview terminology; wenzelm parents: 49566 diff changeset	57	isabelle-graphview.title=Graphview
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 36817 diff changeset	58	isabelle-raw-output.title=Raw Output
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	59	isabelle-protocol.title=Protocol
48014 63021e59cbf0 separate README dockable, which allows to make it more prominent first and remove it later; wenzelm parents: 45446 diff changeset	60	isabelle-readme.title=README
48021 d899be1cfe6d separate syslog dockable -- discontinued tendency of sub-window management via tabs; wenzelm parents: 48020 diff changeset	61	isabelle-syslog.title=Syslog
50143 4ff5d795ed08 dockable with buttons for symbols, grouped and sorted in tabs according to ~~/etc/symbols; immler parents: 49726 diff changeset	62	isabelle-symbols.title=Symbols
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	63
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	64	#SideKick
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	65	mode.isabelle-options.folding=sidekick
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	66	mode.isabelle-options.sidekick.parser=isabelle-options
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	67	mode.isabelle-root.folding=sidekick
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	68	mode.isabelle-root.sidekick.parser=isabelle-root
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	69	mode.isabelle.customSettings=true
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	70	mode.isabelle.folding=sidekick
48718 73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	71	mode.isabelle.sidekick.parser=isabelle
73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	72	mode.isabelle.sidekick.showStatusWindow.label=true
73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	73	mode.ml.sidekick.parser=isabelle
73e6c22e2d94 more structural parsing for minor modes; wenzelm parents: 48717 diff changeset	74	sidekick.parser.isabelle.label=Isabelle
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 48021 diff changeset	75

author	immler
	Wed, 21 Nov 2012 10:51:12 +0100
changeset 50143	4ff5d795ed08
parent 49726	2074197dc274
child 50183	2b3e24e1c9e7
permissions	-rw-r--r--