2324252627282930
import org.mizartools.example.ui.MainFrame; public class Start { public static void main(String[] args) { MainFrame frame = new MainFrame("0.2.4", "Copyright (c) 2011, 2012 Mizar Tools Contributors (mizartools.org)."); frame.setVisible(true); }