2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm 2011-11-28 explicit indication of modules for independent Scala library;
2011-07-04 wenzelm 2011-07-04 pervasive Basic_Library in Scala; tuned;
2011-07-04 wenzelm 2011-07-04 some support for theory files within Isabelle/Scala session;
2011-07-04 wenzelm 2011-07-04 imitate exception ERROR of Isabelle/ML;
2011-05-12 wenzelm 2011-05-12 added toplevel isabelle package -- reduce warnings with;