Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/services.xml
author wenzelm
Mon, 14 Apr 2014 23:13:10 +0200
changeset 56576 86148ca3c4fd
parent 53281 251e1a2aa792
child 56585 a0e844c6e1ed
permissions -rw-r--r--
added context menu for spell checker actions;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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>








56576






86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




     5


  <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




     6


    new isabelle.jedit.Spell_Checker_Menu();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




     7


  </SERVICE>













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




     8


  <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




     9


    new isabelle.jedit.Isabelle_Encoding();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    10


  </SERVICE>













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    11


  <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    12


    new isabelle.jedit.Isabelle_Sidekick_Default();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    13


  </SERVICE>













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    14


  <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    15


    new isabelle.jedit.Isabelle_Sidekick_Markup();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    16


  </SERVICE>













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    17


  <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    18


    new isabelle.jedit.Isabelle_Sidekick_News();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    19


  </SERVICE>













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    20


  <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    21


    new isabelle.jedit.Isabelle_Sidekick_Options();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    22


  </SERVICE>













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    23


  <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    24


    new isabelle.jedit.Isabelle_Sidekick_Root();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    25


  </SERVICE>













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    26


  <SERVICE CLASS="console.Shell" NAME="Scala">













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    27


    new isabelle.jedit.Scala_Console();













86148ca3c4fd
added context menu for spell checker actions;



wenzelm


parents: 
53281

diff
changeset




    28


  </SERVICE>








34318






c13e168a8ae6
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;



wenzelm


parents: 

diff
changeset




    29


</SERVICES>















isabelle