--- a/src/Tools/jEdit/plugin/services.xml Fri May 07 22:38:13 2010 +0200
+++ b/src/Tools/jEdit/plugin/services.xml Fri May 07 23:44:10 2010 +0200
@@ -6,7 +6,10 @@
new isabelle.jedit.Isabelle_Encoding();
</SERVICE>
<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
- new isabelle.jedit.Isabelle_Sidekick();
+ new isabelle.jedit.Isabelle_Sidekick_Default();
+ </SERVICE>
+ <SERVICE NAME="isabelle-raw" CLASS="sidekick.SideKickParser">
+ new isabelle.jedit.Isabelle_Sidekick_Raw();
</SERVICE>
<SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource">
new isabelle.jedit.Isabelle_Hyperlinks();