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 |
3 |
4 <SERVICES> |
4 <SERVICES> |
|
5 <SERVICE CLASS="org.gjt.sp.jedit.buffer.FoldHandler" NAME="isabelle"> |
|
6 new isabelle.jedit.Fold_Handling.Fold_Handler(); |
|
7 </SERVICE> |
5 <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker"> |
8 <SERVICE CLASS="org.gjt.sp.jedit.gui.DynamicContextMenuService" NAME="Spell_Checker"> |
6 new isabelle.jedit.Context_Menu(); |
9 new isabelle.jedit.Context_Menu(); |
7 </SERVICE> |
10 </SERVICE> |
8 <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE"> |
11 <SERVICE CLASS="org.gjt.sp.jedit.gui.DockingFrameworkProvider" NAME="PIDE"> |
9 new isabelle.jedit.PIDE_Docking_Framework(); |
12 new isabelle.jedit.PIDE_Docking_Framework(); |
10 </SERVICE> |
13 </SERVICE> |
11 <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding"> |
14 <SERVICE NAME="UTF-8-Isabelle" CLASS="org.gjt.sp.jedit.io.Encoding"> |
12 new isabelle.jedit.Isabelle_Encoding(); |
15 new isabelle.jedit.Isabelle_Encoding(); |
13 </SERVICE> |
16 </SERVICE> |
14 <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> |
17 <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> |
15 new isabelle.jedit.Isabelle_Sidekick_Default(); |
18 new isabelle.jedit.Isabelle_Sidekick_Default(); |