src/Tools/jEdit/src/services.xml
author wenzelm
Wed, 08 Jun 2011 21:40:54 +0200
changeset 43286 a319da4fbfb0
parent 36738 src/Tools/jEdit/plugin/services.xml@dce592144219
child 48717 622251b2b0f1
permissions -rw-r--r--
simplified directory structure;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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>
dce592144219 support several sidekick parsers -- very basic default parser;
wenzelm
parents: 34841
diff changeset
    11
	<SERVICE NAME="isabelle-raw" CLASS="sidekick.SideKickParser">
dce592144219 support several sidekick parsers -- very basic default parser;
wenzelm
parents: 34841
diff changeset
    12
		new isabelle.jedit.Isabelle_Sidekick_Raw();
34393
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34337
diff changeset
    13
	</SERVICE>
34568
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34426
diff changeset
    14
  <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource">
34760
dc7f5e0d9d27 misc modernization of names;
wenzelm
parents: 34738
diff changeset
    15
    new isabelle.jedit.Isabelle_Hyperlinks();
34568
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34426
diff changeset
    16
  </SERVICE>
34841
2ada58650469 some attempts at Scala console plugin;
wenzelm
parents: 34760
diff changeset
    17
 	<SERVICE CLASS="console.Shell" NAME="Scala">
2ada58650469 some attempts at Scala console plugin;
wenzelm
parents: 34760
diff changeset
    18
		new isabelle.jedit.Scala_Console();
2ada58650469 some attempts at Scala console plugin;
wenzelm
parents: 34760
diff changeset
    19
	</SERVICE>
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    20
</SERVICES>