changeset 34406 | f81cd75ae331 |
parent 34393 | f0e1608a774f |
child 34426 | 81f93e0f13b4 |
--- a/src/Tools/jEdit/plugin/services.xml Mon Dec 15 16:34:19 2008 +0100 +++ b/src/Tools/jEdit/plugin/services.xml Thu Dec 18 01:10:20 2008 +0100 @@ -1,7 +1,7 @@ <?xml version="1.0"?> <!DOCTYPE SERVICES SYSTEM "services.dtd"> <SERVICES> - <SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle"> + <SERVICE NAME="isabelle" CLASS="sidekick.SideKickParser"> new isabelle.prover.IsabelleSKParser(); </SERVICE> <SERVICE NAME="isabelle" CLASS="org.gjt.sp.jedit.io.VFS">