author | wenzelm |
Tue, 08 Dec 2009 16:30:20 +0100 | |
changeset 34760 | dc7f5e0d9d27 |
parent 34738 | 80408ffc84a8 |
child 34841 | 2ada58650469 |
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.Isabelle_Sidekick(); </SERVICE> <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource"> new isabelle.jedit.Isabelle_Hyperlinks(); </SERVICE> </SERVICES>