isabelle: src/Tools/jEdit/plugin/services.xml@b83c7a738eb8 (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">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34738 diff changeset	9	new isabelle.jedit.Isabelle_Sidekick();
34393 f0e1608a774f basic tree structure for sidekick immler@in.tum.de parents: 34337 diff changeset	10	</SERVICE>
34568 b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34426 diff changeset	11	<SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource">
34760 dc7f5e0d9d27 misc modernization of names; wenzelm parents: 34738 diff changeset	12	new isabelle.jedit.Isabelle_Hyperlinks();
34568 b517d0607297 implemented IsabelleHyperlinkSource (only links inside the current buffer) immler@in.tum.de parents: 34426 diff changeset	13	</SERVICE>
34318 c13e168a8ae6 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout; wenzelm parents: diff changeset	14	</SERVICES>

author	wenzelm
	Mon, 04 Jan 2010 19:42:35 +0100
changeset 34836	b83c7a738eb8
parent 34760	dc7f5e0d9d27
child 34841	2ada58650469
permissions	-rw-r--r--