Mercurial Mercurial > repos > isabelle / diff
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 
--- a/src/Tools/jEdit/src/services.xml	Thu Aug 04 21:30:20 2016 +0200
+++ b/src/Tools/jEdit/src/services.xml	Fri Aug 05 16:30:53 2016 +0200
@@ -23,6 +23,12 @@
   <SERVICE NAME="isabelle-markup" CLASS="sidekick.SideKickParser">
     new isabelle.jedit.Isabelle_Sidekick_Markup();
   </SERVICE>
+  <SERVICE NAME="isabelle-ml" CLASS="sidekick.SideKickParser">
+    new isabelle.jedit.Isabelle_Sidekick_ML();
+  </SERVICE>
+  <SERVICE NAME="isabelle-sml" CLASS="sidekick.SideKickParser">
+    new isabelle.jedit.Isabelle_Sidekick_SML();
+  </SERVICE>
   <SERVICE NAME="isabelle-news" CLASS="sidekick.SideKickParser">
     new isabelle.jedit.Isabelle_Sidekick_News();
   </SERVICE>
isabelle