isabelle: src/Tools/jEdit/jedit_main/services.xml@4b875a4c83b0 (annotated)

34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	1	<?xml version="1.0"?>
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	2	<!DOCTYPE SERVICES SYSTEM "services.dtd">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34738 diff changeset	3
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	4	<SERVICES>
58694 983e98da2a42 support line context with depth; wenzelm parents: 58546 diff changeset	5	<SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="isabelle">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	6	new isabelle.jedit_main.Fold_Handler();
58694 983e98da2a42 support line context with depth; wenzelm parents: 58546 diff changeset	7	</SERVICE>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	8	<SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	9	new isabelle.jedit_main.Context_Menu();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	10	</SERVICE>
69637 f3b564a13236 access Isabelle theory exports via virtual file-system; wenzelm parents: 66591 diff changeset	11	<SERVICE NAME="isabelle-export" CLASS="org.gjt.sp.jedit.io.VFS">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	12	new isabelle.jedit_main.Isabelle_Export_VFS();
69637 f3b564a13236 access Isabelle theory exports via virtual file-system; wenzelm parents: 66591 diff changeset	13	</SERVICE>
69762 58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69637 diff changeset	14	<SERVICE NAME="isabelle-session" CLASS="org.gjt.sp.jedit.io.VFS">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	15	new isabelle.jedit_main.Isabelle_Session_VFS();
69762 58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69637 diff changeset	16	</SERVICE>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	17	<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	18	new isabelle.jedit_main.Isabelle_Sidekick_Default();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	19	</SERVICE>
63606 fc3a23763617 support for context block structure in Sidekick; wenzelm parents: 58694 diff changeset	20	<SERVICE NAME="isabelle-context" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	21	new isabelle.jedit_main.Isabelle_Sidekick_Context();
63606 fc3a23763617 support for context block structure in Sidekick; wenzelm parents: 58694 diff changeset	22	</SERVICE>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	23	<SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	24	new isabelle.jedit_main.Isabelle_Sidekick_Markup();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	25	</SERVICE>
63610 4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 63606 diff changeset	26	<SERVICE NAME="isabelle-ml" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	27	new isabelle.jedit_main.Isabelle_Sidekick_ML();
63610 4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 63606 diff changeset	28	</SERVICE>
4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 63606 diff changeset	29	<SERVICE NAME="isabelle-sml" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	30	new isabelle.jedit_main.Isabelle_Sidekick_SML();
63610 4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 63606 diff changeset	31	</SERVICE>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	32	<SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	33	new isabelle.jedit_main.Isabelle_Sidekick_News();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	34	</SERVICE>
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	35	<SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	36	new isabelle.jedit_main.Isabelle_Sidekick_Options();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	37	</SERVICE>
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	38	<SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	39	new isabelle.jedit_main.Isabelle_Sidekick_Root();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	40	</SERVICE>
58526 f05ccce3eca2 SideKick parser for bibtex entries; wenzelm parents: 56936 diff changeset	41	<SERVICE NAME="bibtex" CLASS="sidekick.SideKickParser">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	42	new isabelle.jedit_main.Isabelle_Sidekick_Bibtex();
58526 f05ccce3eca2 SideKick parser for bibtex entries; wenzelm parents: 56936 diff changeset	43	</SERVICE>
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	44	<SERVICE CLASS="console.Shell" NAME="Scala">
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	45	new isabelle.jedit_main.Scala_Console();
56576 86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	46	</SERVICE>
71742 de37910974da avoid hard-wired stuff: configure via plugin services; wenzelm parents: 69762 diff changeset	47	<SERVICE CLASS="isabelle.jedit.Active$Handler" NAME="misc">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	48	new isabelle.jedit_main.Active_Misc_Handler();
71742 de37910974da avoid hard-wired stuff: configure via plugin services; wenzelm parents: 69762 diff changeset	49	</SERVICE>
de37910974da avoid hard-wired stuff: configure via plugin services; wenzelm parents: 69762 diff changeset	50	<SERVICE CLASS="isabelle.jedit.Active$Handler" NAME="graphview">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	51	new isabelle.jedit_main.Graphview_Dockable_Handler()
71742 de37910974da avoid hard-wired stuff: configure via plugin services; wenzelm parents: 69762 diff changeset	52	</SERVICE>
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	53	<SERVICE CLASS="org.gjt.sp.jedit.gui.statusbar.StatusWidgetFactory" NAME="java-status">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	54	new isabelle.jedit_main.Status_Widget_Java_Factory();
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	55	</SERVICE>
fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	56	<SERVICE CLASS="org.gjt.sp.jedit.gui.statusbar.StatusWidgetFactory" NAME="ml-status">
73994 fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin; wenzelm parents: 73987 diff changeset	57	new isabelle.jedit_main.Status_Widget_ML_Factory();
73987 fc363a3b690a build.props for isabelle.jar, including isabelle.jedit; wenzelm parents: 72249 diff changeset	58	</SERVICE>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	59	</SERVICES>

author	wenzelm
	Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265	4b875a4c83b0
parent 73994	fbb30dac95a2
permissions	-rw-r--r--