author | wenzelm |
Fri, 01 Sep 2017 15:15:29 +0200 | |
changeset 66591 | 6efa351190d0 |
parent 66457 | 9098c36abd1a |
permissions | -rw-r--r-- |
<?xml version="1.0"?> <!DOCTYPE SERVICES SYSTEM "services.dtd"> <SERVICES> <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding"> new isabelle.jedit_base.Isabelle_Encoding(); </SERVICE> <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE"> new isabelle.jedit_base.PIDE_Docking_Framework(); </SERVICE> </SERVICES>