isabelle: src/Tools/jEdit/plugin/Isabelle.props@d7c256cb2797 (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
34571 ea86cc4e04c7 recovered iso-latin-1 text; wenzelm parents: 34568 diff changeset	7	plugin.isabelle.jedit.Plugin.author=Johannes H�lzl, Fabian Immler, Makarius Wenzel
34879 032e14798e16 updated version and dependencies; wenzelm parents: 34820 diff changeset	8	plugin.isabelle.jedit.Plugin.version=0.1.0
032e14798e16 updated version and dependencies; wenzelm parents: 34820 diff changeset	9	plugin.isabelle.jedit.Plugin.description=Isabelle/Isar asynchronous proof document editing
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
34752 e20ef5b33d17 misc updates; wenzelm parents: 34726 diff changeset	16	plugin.isabelle.jedit.Plugin.depend.0=jdk 1.6
34879 032e14798e16 updated version and dependencies; wenzelm parents: 34820 diff changeset	17	plugin.isabelle.jedit.Plugin.depend.1=jedit 04.03.99.00
032e14798e16 updated version and dependencies; wenzelm parents: 34820 diff changeset	18	plugin.isabelle.jedit.Plugin.depend.2=plugin console.ConsolePlugin 4.4.1
032e14798e16 updated version and dependencies; wenzelm parents: 34820 diff changeset	19	plugin.isabelle.jedit.Plugin.depend.3=plugin errorlist.ErrorListPlugin 1.8
032e14798e16 updated version and dependencies; wenzelm parents: 34820 diff changeset	20	plugin.isabelle.jedit.Plugin.depend.4=plugin sidekick.SideKickPlugin 0.8
032e14798e16 updated version and dependencies; wenzelm parents: 34820 diff changeset	21	plugin.isabelle.jedit.Plugin.depend.5=plugin gatchan.jedit.hyperlinks.HyperlinksPlugin 1.0.1
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
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	24	plugin.isabelle.jedit.Plugin.option-pane=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	25	options.isabelle.label=Isabelle
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34752 diff changeset	26	options.isabelle.code=new isabelle.jedit.Isabelle_Options();
34617 8d2c49605685 simplified option pane: proper logic title, hardwired font path; wenzelm parents: 34571 diff changeset	27	options.isabelle.logic.title=Logic
36814 dc85664dbf6d support Isabelle plugin properties with defaults; wenzelm parents: 34879 diff changeset	28	options.isabelle.relative-font-size.title=Relative Font Size
dc85664dbf6d support Isabelle plugin properties with defaults; wenzelm parents: 34879 diff changeset	29	options.isabelle.relative-font-size=100
37201 8517a650cfdc control tooltip font via Swing HTML, with tooltip-font-size property; wenzelm parents: 37065 diff changeset	30	options.isabelle.tooltip-font-size.title=Tooltip Font Size
37203 c4261f3bbdd7 more flexibile font size via CSS <style> instead of old <font> element; wenzelm parents: 37201 diff changeset	31	options.isabelle.tooltip-font-size=10
38854 eb6a35be18ca Isabelle/jEdit property for global tooltip dismiss delay; wenzelm parents: 37203 diff changeset	32	options.isabelle.tooltip-dismiss-delay.title=Tooltip Dismiss Delay (global)
eb6a35be18ca Isabelle/jEdit property for global tooltip dismiss delay; wenzelm parents: 37203 diff changeset	33	options.isabelle.tooltip-dismiss-delay=8000
34820 a8ba6cde13e9 basic setup for synchronous / modal (!) prover startup; wenzelm parents: 34814 diff changeset	34	options.isabelle.startup-timeout=10000
39702 d7c256cb2797 Session_Dockable: more startup controls; wenzelm parents: 39630 diff changeset	35	options.isabelle.auto-start=true
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	36
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	37	#menu actions
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	38	plugin.isabelle.jedit.Plugin.menu.label=Isabelle
39630 44181423183a explicit Session.Phase indication with associated event bus; wenzelm parents: 39617 diff changeset	39	plugin.isabelle.jedit.Plugin.menu=isabelle.session-panel isabelle.output-panel isabelle.raw-output-panel isabelle.protocol-panel
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	40	isabelle.session-panel.label=Prover Session panel
a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	41	isabelle.output-panel.label=Output panel
a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	42	isabelle.raw-output-panel.label=Raw Output panel
a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	43	isabelle.protocol-panel.label=Protocol panel
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	44
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	45	#dockables
39617 a58eba339d2b tuned panel names and actions; wenzelm parents: 39515 diff changeset	46	isabelle-session.title=Prover Session
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	47	isabelle-output.title=Output
37065 2a73253b5898 separate event bus and dockable for raw output (stdout); wenzelm parents: 36817 diff changeset	48	isabelle-raw-output.title=Raw Output
34773 bb5d68f7fd5e renamed "raw output" to "protocol"; wenzelm parents: 34760 diff changeset	49	isabelle-protocol.title=Protocol
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	50
34421 c57a53d4469a added author field; wenzelm parents: 34420 diff changeset	51	#SideKick
34393 f0e1608a774f basic tree structure for sidekick immler@in.tum.de parents: 34342 diff changeset	52	sidekick.parser.isabelle.label=Isabelle
34420 4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	53	mode.isabelle.sidekick.parser=isabelle
4187cec99c11 regular plugin activation via "defer"; wenzelm parents: 34418 diff changeset	54	mode.ml.sidekick.parser=isabelle
34568 b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34563 diff changeset	55
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34563 diff changeset	56	#Hyperlinks
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34563 diff changeset	57	mode.isabelle.hyperlink.source=isabelle

author	wenzelm
	Sat, 25 Sep 2010 17:28:41 +0200
changeset 39702	d7c256cb2797
parent 39630	44181423183a
child 39734	47f5a8c92666
permissions	-rw-r--r--