2009-08-24 04:21:15 +02:00
|
|
|
package xsbti;
|
|
|
|
|
|
2009-09-26 08:18:04 +02:00
|
|
|
public interface Launcher
|
2009-08-24 04:21:15 +02:00
|
|
|
{
|
|
|
|
|
public static final int InterfaceVersion = 1;
|
2009-09-26 08:18:04 +02:00
|
|
|
public ScalaProvider getScala(String version);
|
2009-08-24 04:21:15 +02:00
|
|
|
}
|