Mercurial Mercurial > repos > isabelle / comparison
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
changeset 63610 4b40b8196dc7
parent 63606 fc3a23763617
child 66120 e03ff7e831cc
equal deleted inserted replaced
63609:be0a4a0bf7f5 63610:4b40b8196dc7 
    21     new isabelle.jedit.Isabelle_Sidekick_Context();
 
    21     new isabelle.jedit.Isabelle_Sidekick_Context();
 
    22   </SERVICE>
 
    22   </SERVICE>
 
    23   <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
 
    23   <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
 
    24     new isabelle.jedit.Isabelle_Sidekick_Markup();
 
    24     new isabelle.jedit.Isabelle_Sidekick_Markup();
 
    25   </SERVICE>
 
    25   </SERVICE>
 
       
    26   <SERVICE NAME="isabelle-ml" CLASS="sidekick.SideKickParser">
 
       
    27     new isabelle.jedit.Isabelle_Sidekick_ML();
 
       
    28   </SERVICE>
 
       
    29   <SERVICE NAME="isabelle-sml" CLASS="sidekick.SideKickParser">
 
       
    30     new isabelle.jedit.Isabelle_Sidekick_SML();
 
       
    31   </SERVICE>
 
    26   <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
 
    32   <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
 
    27     new isabelle.jedit.Isabelle_Sidekick_News();
 
    33     new isabelle.jedit.Isabelle_Sidekick_News();
 
    28   </SERVICE>
 
    34   </SERVICE>
 
    29   <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
 
    35   <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser">
 
    30     new isabelle.jedit.Isabelle_Sidekick_Options();
 
    36     new isabelle.jedit.Isabelle_Sidekick_Options();
isabelle