isabelle: src/Tools/jEdit/src/services.xml@f0770743b7ec (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>
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>

author	wenzelm
	Thu, 16 Jun 2011 22:05:40 +0200
changeset 43414	f0770743b7ec
parent 43286	a319da4fbfb0
child 48717	622251b2b0f1
permissions	-rw-r--r--