isabelle: src/Tools/jEdit/src/services.xml@251e1a2aa792 (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>
34623 a356a8ee6f00 renamed UTF-8-isabelle to UTF-8-Isabelle; wenzelm parents: 34619 diff changeset	5	<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
34738 80408ffc84a8 tuned file name; wenzelm parents: 34628 diff changeset	6	new isabelle.jedit.Isabelle_Encoding();
34619 e89b6ec97910 added IsabelleEncoding -- a clone of utf-8 for now; wenzelm parents: 34568 diff changeset	7	</SERVICE>
34406 f81cd75ae331 restructured: independent provers in different buffers immler@in.tum.de parents: 34393 diff changeset	8	<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
36738 dce592144219 support several sidekick parsers -- very basic default parser; wenzelm parents: 34841 diff changeset	9	new isabelle.jedit.Isabelle_Sidekick_Default();
dce592144219 support several sidekick parsers -- very basic default parser; wenzelm parents: 34841 diff changeset	10	</SERVICE>
53281 251e1a2aa792 clarified SideKick parser name, which serves as quasi "mode" here; wenzelm parents: 52539 diff changeset	11	<SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
251e1a2aa792 clarified SideKick parser name, which serves as quasi "mode" here; wenzelm parents: 52539 diff changeset	12	new isabelle.jedit.Isabelle_Sidekick_Markup();
251e1a2aa792 clarified SideKick parser name, which serves as quasi "mode" here; wenzelm parents: 52539 diff changeset	13	</SERVICE>
52539 7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: 48921 diff changeset	14	<SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: 48921 diff changeset	15	new isabelle.jedit.Isabelle_Sidekick_News();
7658f8d7b2dc minimal jedit mode for Isabelle NEWS; wenzelm parents: 48921 diff changeset	16	</SERVICE>
48717 622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 43286 diff changeset	17	<SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 43286 diff changeset	18	new isabelle.jedit.Isabelle_Sidekick_Options();
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 43286 diff changeset	19	</SERVICE>
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 43286 diff changeset	20	<SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 43286 diff changeset	21	new isabelle.jedit.Isabelle_Sidekick_Root();
622251b2b0f1 clarified Sidekick configuration, including minor modes; wenzelm parents: 43286 diff changeset	22	</SERVICE>
34841 2ada58650469 some attempts at Scala console plugin; wenzelm parents: 34760 diff changeset	23	<SERVICE CLASS="console.Shell" NAME="Scala">
2ada58650469 some attempts at Scala console plugin; wenzelm parents: 34760 diff changeset	24	new isabelle.jedit.Scala_Console();
2ada58650469 some attempts at Scala console plugin; wenzelm parents: 34760 diff changeset	25	</SERVICE>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	26	</SERVICES>

author	wenzelm
	Thu, 29 Aug 2013 15:53:56 +0200
changeset 53281	251e1a2aa792
parent 52539	7658f8d7b2dc
child 56576	86148ca3c4fd
permissions	-rw-r--r--