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-base/services.xml
changeset 73987 fc363a3b690a
parent 73986 13168094175b
child 73988 678e1c9eb009
equal deleted inserted replaced
73986:13168094175b 73987:fc363a3b690a 
     1 <?xml version="1.0"?>
 
       
     2 <!DOCTYPE SERVICES SYSTEM "services.dtd">
 
       
     3 
       
     4 <SERVICES>
 
       
     5   <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding">
 
       
     6     new isabelle.jedit_base.Isabelle_Encoding();
 
       
     7   </SERVICE>
 
       
     8   <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE">
 
       
     9     new isabelle.jedit_base.PIDE_Docking_Framework();
 
       
    10   </SERVICE>
 
       
    11 </SERVICES>
isabelle