src/Tools/jEdit/src/services.xml
author wenzelm
Mon Jan 09 20:26:59 2017 +0100 (2017-01-09)
changeset 64854 f5aa712e6250
parent 63610 4b40b8196dc7
child 66120 e03ff7e831cc
permissions -rw-r--r--
tuned signature;
wenzelm@34318
     1
<?xml version="1.0"?>
wenzelm@34318
     2
<!DOCTYPE SERVICES SYSTEM "services.dtd">
wenzelm@34760
     3
wenzelm@34318
     4
<SERVICES>
wenzelm@58694
     5
  <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="isabelle">
wenzelm@58694
     6
    new isabelle.jedit.Fold_Handling.Fold_Handler();
wenzelm@58694
     7
  </SERVICE>
wenzelm@56576
     8
  <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">
wenzelm@56585
     9
    new isabelle.jedit.Context_Menu();
wenzelm@56576
    10
  </SERVICE>
wenzelm@58694
    11
  <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
wenzelm@58694
    12
    new isabelle.jedit.PIDE_Docking_Framework();
wenzelm@58694
    13
  </SERVICE>
wenzelm@56576
    14
  <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
wenzelm@56576
    15
    new isabelle.jedit.Isabelle_Encoding();
wenzelm@56576
    16
  </SERVICE>
wenzelm@56576
    17
  <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">
wenzelm@56576
    18
    new isabelle.jedit.Isabelle_Sidekick_Default();
wenzelm@56576
    19
  </SERVICE>
wenzelm@63606
    20
  <SERVICE NAME="isabelle-context" CLASS="sidekick.SideKickParser">
wenzelm@63606
    21
    new isabelle.jedit.Isabelle_Sidekick_Context();
wenzelm@63606
    22
  </SERVICE>
wenzelm@56576
    23
  <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
wenzelm@56576
    24
    new isabelle.jedit.Isabelle_Sidekick_Markup();
wenzelm@56576
    25
  </SERVICE>
wenzelm@63610
    26
  <SERVICE NAME="isabelle-ml" CLASS="sidekick.SideKickParser">
wenzelm@63610
    27
    new isabelle.jedit.Isabelle_Sidekick_ML();
wenzelm@63610
    28
  </SERVICE>
wenzelm@63610
    29
  <SERVICE NAME="isabelle-sml" CLASS="sidekick.SideKickParser">
wenzelm@63610
    30
    new isabelle.jedit.Isabelle_Sidekick_SML();
wenzelm@63610
    31
  </SERVICE>
wenzelm@56576
    32
  <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
wenzelm@56576
    33
    new isabelle.jedit.Isabelle_Sidekick_News();
wenzelm@56576
    34
  </SERVICE>
wenzelm@56576
    35
  <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
wenzelm@56576
    36
    new isabelle.jedit.Isabelle_Sidekick_Options();
wenzelm@56576
    37
  </SERVICE>
wenzelm@56576
    38
  <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">
wenzelm@56576
    39
    new isabelle.jedit.Isabelle_Sidekick_Root();
wenzelm@56576
    40
  </SERVICE>
wenzelm@58526
    41
  <SERVICE NAME="bibtex" CLASS="sidekick.SideKickParser">
wenzelm@58546
    42
    new isabelle.jedit.Bibtex_JEdit.Sidekick_Parser();
wenzelm@58526
    43
  </SERVICE>
wenzelm@56576
    44
  <SERVICE CLASS="console.Shell" NAME="Scala">
wenzelm@56576
    45
    new isabelle.jedit.Scala_Console();
wenzelm@56576
    46
  </SERVICE>
wenzelm@34318
    47
</SERVICES>