changeset 27985 | fb774d10ea4c |
parent 25851 | 606850a6fc1a |
27984:b4dd58cff97c | 27985:fb774d10ea4c |
---|---|
2 <!DOCTYPE SERVICES SYSTEM "services.dtd"> |
2 <!DOCTYPE SERVICES SYSTEM "services.dtd"> |
3 <!-- $Id$ --> |
3 <!-- $Id$ --> |
4 |
4 |
5 <SERVICES> |
5 <SERVICES> |
6 <SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle"> |
6 <SERVICE CLASS="sidekick.SideKickParser" NAME="isabelle"> |
7 new isabelle.IsabelleParser(); |
7 new isabelle.jedit.IsabelleParser(); |
8 </SERVICE> |
8 </SERVICE> |
9 </SERVICES> |
9 </SERVICES> |
10 |
10 |