author | wenzelm |
Sat, 25 Sep 2010 17:28:41 +0200 | |
changeset 39702 | d7c256cb2797 |
parent 36738 | dce592144219 |
permissions | -rw-r--r-- |
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 | 3 |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
4 |
<SERVICES> |
34623 | 5 |
<SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding"> |
34738 | 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 | 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 | 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 | 17 |
<SERVICE CLASS="console.Shell" NAME="Scala"> |
18 |
new isabelle.jedit.Scala_Console(); |
|
19 |
</SERVICE> |
|
34318
c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;
wenzelm
parents:
diff
changeset
|
20 |
</SERVICES> |