author | wenzelm |
Tue, 15 Sep 2009 21:14:09 +0200 | |
changeset 34738 | 80408ffc84a8 |
parent 34628 | 7d16987b73de |
child 34760 | dc7f5e0d9d27 |
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.Isabelle_Encoding(); </SERVICE> <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> new isabelle.jedit.IsabelleSideKickParser(); </SERVICE> <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource"> new isabelle.jedit.IsabelleHyperlinkSource(); </SERVICE> </SERVICES>