src/Tools/jEdit/src/services.xml
author wenzelm
Tue Apr 15 11:05:48 2014 +0200 (2014-04-15)
changeset 56585 a0e844c6e1ed
parent 56576 86148ca3c4fd
child 56906 408b526911f7
permissions -rw-r--r--
common context menu for Isabelle/jEdit;
     1 <?xml version="1.0"?>
     2 <!DOCTYPE SERVICES SYSTEM "services.dtd">
     3 
     4 <SERVICES>
     5   <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
     6     new isabelle.jedit.Context_Menu();
     7   </SERVICE>
     8   <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
     9     new isabelle.jedit.Isabelle_Encoding();
    10   </SERVICE>
    11   <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
    12     new isabelle.jedit.Isabelle_Sidekick_Default();
    13   </SERVICE>
    14   <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
    15     new isabelle.jedit.Isabelle_Sidekick_Markup();
    16   </SERVICE>
    17   <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
    18     new isabelle.jedit.Isabelle_Sidekick_News();
    19   </SERVICE>
    20   <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
    21     new isabelle.jedit.Isabelle_Sidekick_Options();
    22   </SERVICE>
    23   <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
    24     new isabelle.jedit.Isabelle_Sidekick_Root();
    25   </SERVICE>
    26   <SERVICE CLASS="console.Shell" NAME="Scala">
    27     new isabelle.jedit.Scala_Console();
    28   </SERVICE>
    29 </SERVICES>