src/Tools/jEdit/plugin/services.xml
author wenzelm
Fri, 26 Jun 2009 18:24:03 +0200
changeset 34623 a356a8ee6f00
parent 34619 e89b6ec97910
child 34628 7d16987b73de
permissions -rw-r--r--
renamed UTF-8-isabelle to UTF-8-Isabelle;
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">
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
     3
<SERVICES>
34619
e89b6ec97910 added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm
parents: 34568
diff changeset
     4
	<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">
e89b6ec97910 added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm
parents: 34568
diff changeset
     5
		new isabelle.jedit.VFS();
e89b6ec97910 added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm
parents: 34568
diff changeset
     6
	</SERVICE>
34623
a356a8ee6f00 renamed UTF-8-isabelle to UTF-8-Isabelle;
wenzelm
parents: 34619
diff changeset
     7
	<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
34619
e89b6ec97910 added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm
parents: 34568
diff changeset
     8
		new isabelle.jedit.IsabelleEncoding();
e89b6ec97910 added IsabelleEncoding -- a clone of utf-8 for now;
wenzelm
parents: 34568
diff changeset
     9
	</SERVICE>
34406
f81cd75ae331 restructured: independent provers in different buffers
immler@in.tum.de
parents: 34393
diff changeset
    10
	<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
34426
81f93e0f13b4 renamed isabelle.prover.IsabelleSKParser to isabelle.jedit.IsabelleSideKickParser;
wenzelm
parents: 34406
diff changeset
    11
		new isabelle.jedit.IsabelleSideKickParser();
34393
f0e1608a774f basic tree structure for sidekick
immler@in.tum.de
parents: 34337
diff changeset
    12
	</SERVICE>
34568
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34426
diff changeset
    13
  <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource">
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34426
diff changeset
    14
    new isabelle.jedit.IsabelleHyperlinkSource();
b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer)
immler@in.tum.de
parents: 34426
diff changeset
    15
  </SERVICE>
34318
c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff changeset
    16
</SERVICES>