src/Pure/System/main.scala
2012-07-17 wenzelm 2012-07-17 more standard main method;
2012-07-05 wenzelm 2012-07-05 prefer sys.exit from scala 2.9;
2012-05-04 wenzelm 2012-05-04 some attempts to make critical errors fit on screen;
2012-04-22 wenzelm 2012-04-22 display return code like Isabelle.app on Mac OS;
2012-04-22 wenzelm 2012-04-22 default Isabelle application wrapper -- JVM entry point for Isabelle.exe;