/* Title: Tools/Setup/isabelle/setup/Setup.java
Author: Makarius
Isabelle setup tool: bootstrap from generic Java environment.
*/
package isabelle.setup;
class Setup
{
public static void main(String[] args)
{
System.out.println("Isabelle setup");
}
}