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> 12