equal
deleted
inserted
replaced
1 <?xml version="1.0"?> |
1 <?xml version="1.0"?> |
2 <!DOCTYPE SERVICES SYSTEM "services.dtd"> |
2 <!DOCTYPE SERVICES SYSTEM "services.dtd"> |
3 <SERVICES> |
3 <SERVICES> |
4 <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> |
4 <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> |
5 new isabelle.prover.IsabelleSKParser(); |
5 new isabelle.jedit.IsabelleSideKickParser(); |
6 </SERVICE> |
6 </SERVICE> |
7 <SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS"> |
7 <SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS"> |
8 new isabelle.jedit.VFS(); |
8 new isabelle.jedit.VFS(); |
9 </SERVICE> |
9 </SERVICE> |
10 </SERVICES> |
10 </SERVICES> |