| author | immler@in.tum.de |
| Fri, 22 May 2009 14:47:57 +0200 | |
| changeset 34571 | b517d0607297 |
| parent 34429 | 81f93e0f13b4 |
| child 34622 | e89b6ec97910 |
| permissions | -rw-r--r-- |
| wenzelm@34321 | 1 |
<?xml version="1.0"?> |
| wenzelm@34321 | 2 |
<!DOCTYPE SERVICES SYSTEM "services.dtd"> |
| wenzelm@34321 | 3 |
<SERVICES> |
| immler@34409 | 4 |
<SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> |
| wenzelm@34429 | 5 |
new isabelle.jedit.IsabelleSideKickParser(); |
| immler@34396 | 6 |
</SERVICE> |
| wenzelm@34340 | 7 |
<SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS"> |
| wenzelm@34321 | 8 |
new isabelle.jedit.VFS(); |
| wenzelm@34321 | 9 |
</SERVICE> |
| immler@34571 | 10 |
<SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource"> |
| immler@34571 | 11 |
new isabelle.jedit.IsabelleHyperlinkSource(); |
| immler@34571 | 12 |
</SERVICE> |
| wenzelm@34321 | 13 |
</SERVICES> |