equal
deleted
inserted
replaced
42 new isabelle.jedit.JEdit_Bibtex.Sidekick_Parser(); |
42 new isabelle.jedit.JEdit_Bibtex.Sidekick_Parser(); |
43 </SERVICE> |
43 </SERVICE> |
44 <SERVICE CLASS="console.Shell" NAME="Scala"> |
44 <SERVICE CLASS="console.Shell" NAME="Scala"> |
45 new isabelle.jedit.Scala_Console(); |
45 new isabelle.jedit.Scala_Console(); |
46 </SERVICE> |
46 </SERVICE> |
|
47 <SERVICE CLASS="isabelle.jedit.Active$Handler" NAME="misc"> |
|
48 new isabelle.jedit.Active$Misc_Handler(); |
|
49 </SERVICE> |
|
50 <SERVICE CLASS="isabelle.jedit.Active$Handler" NAME="graphview"> |
|
51 new isabelle.jedit.Graphview_Dockable$Handler() |
|
52 </SERVICE> |
47 </SERVICES> |
53 </SERVICES> |