equal
deleted
inserted
replaced
9 new isabelle.jedit.Isabelle_Sidekick(); |
9 new isabelle.jedit.Isabelle_Sidekick(); |
10 </SERVICE> |
10 </SERVICE> |
11 <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource"> |
11 <SERVICE NAME="isabelle" CLASS="gatchan.jedit.hyperlinks.HyperlinkSource"> |
12 new isabelle.jedit.Isabelle_Hyperlinks(); |
12 new isabelle.jedit.Isabelle_Hyperlinks(); |
13 </SERVICE> |
13 </SERVICE> |
|
14 <SERVICE CLASS="console.Shell" NAME="Scala"> |
|
15 new isabelle.jedit.Scala_Console(); |
|
16 </SERVICE> |
14 </SERVICES> |
17 </SERVICES> |