isabelle: src/Tools/jEdit/src/services.xml@76fbd806ebc5 (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">
983e98da2a42 support line context with depth; wenzelm parents: 58546 diff changeset	6	new isabelle.jedit.Fold_Handling.Fold_Handler();
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">
56585 a0e844c6e1ed common context menu for Isabelle/jEdit; wenzelm parents: 56576 diff changeset	9	new isabelle.jedit.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">
f3b564a13236 access Isabelle theory exports via virtual file-system; wenzelm parents: 66591 diff changeset	12	new isabelle.jedit.Isabelle_Export.VFS();
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">
58fb0d779583 support for session information via virtual file-system; wenzelm parents: 69637 diff changeset	15	new isabelle.jedit.Isabelle_Session.VFS();
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">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	18	new isabelle.jedit.Isabelle_Sidekick_Default();
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">
fc3a23763617 support for context block structure in Sidekick; wenzelm parents: 58694 diff changeset	21	new isabelle.jedit.Isabelle_Sidekick_Context();
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">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	24	new isabelle.jedit.Isabelle_Sidekick_Markup();
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">
4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 63606 diff changeset	27	new isabelle.jedit.Isabelle_Sidekick_ML();
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">
4b40b8196dc7 Sidekick parser for isabelle-ml and sml mode; wenzelm parents: 63606 diff changeset	30	new isabelle.jedit.Isabelle_Sidekick_SML();
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">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	33	new isabelle.jedit.Isabelle_Sidekick_News();
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">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	36	new isabelle.jedit.Isabelle_Sidekick_Options();
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">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	39	new isabelle.jedit.Isabelle_Sidekick_Root();
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">
66120 e03ff7e831cc clarified modules; wenzelm parents: 63610 diff changeset	42	new isabelle.jedit.JEdit_Bibtex.Sidekick_Parser();
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">
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	45	new isabelle.jedit.Scala_Console();
86148ca3c4fd added context menu for spell checker actions; wenzelm parents: 53281 diff changeset	46	</SERVICE>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	47	</SERVICES>

author	wenzelm
	Wed, 30 Jan 2019 22:46:49 +0100
changeset 69766	76fbd806ebc5
parent 69762	58fb0d779583
child 71742	de37910974da
permissions	-rw-r--r--