equal
deleted
inserted
replaced
5 <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding"> |
5 <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding"> |
6 new isabelle.jedit.Isabelle_Encoding(); |
6 new isabelle.jedit.Isabelle_Encoding(); |
7 </SERVICE> |
7 </SERVICE> |
8 <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> |
8 <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> |
9 new isabelle.jedit.Isabelle_Sidekick_Default(); |
9 new isabelle.jedit.Isabelle_Sidekick_Default(); |
|
10 </SERVICE> |
|
11 <SERVICE NAME="isabelle-options" CLASS="sidekick.SideKickParser"> |
|
12 new isabelle.jedit.Isabelle_Sidekick_Options(); |
|
13 </SERVICE> |
|
14 <SERVICE NAME="isabelle-root" CLASS="sidekick.SideKickParser"> |
|
15 new isabelle.jedit.Isabelle_Sidekick_Root(); |
10 </SERVICE> |
16 </SERVICE> |
11 <SERVICE NAME="isabelle-raw" CLASS="sidekick.SideKickParser"> |
17 <SERVICE NAME="isabelle-raw" CLASS="sidekick.SideKickParser"> |
12 new isabelle.jedit.Isabelle_Sidekick_Raw(); |
18 new isabelle.jedit.Isabelle_Sidekick_Raw(); |
13 </SERVICE> |
19 </SERVICE> |
14 <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource"> |
20 <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource"> |