src/Pure/library.scala
2010-05-21 wenzelm 2010-05-21 tuned zoom_box; tuned tooltips;
2010-05-21 wenzelm 2010-05-21 added Library.undefined (in Scala);
2010-05-20 wenzelm 2010-05-20 added somewhat generic zoom box;
2010-05-10 wenzelm 2010-05-10 simple dialogs: ensure Swing thread;
2010-05-06 wenzelm 2010-05-06 added separate;
2010-05-06 wenzelm 2010-05-06 slightly more general Library.chunks;
2010-01-11 wenzelm 2010-01-11 tuned message;
2010-01-11 wenzelm 2010-01-11 timeit message;
2009-12-31 wenzelm 2009-12-31 added simple dialogs;
2009-12-28 wenzelm 2009-12-28 moved Library.decode_permissive_utf8 to Isabelle_System; moved Library.with_tmp_file to Isabelle_System; added Isabelle_System.read_file/write_file; added Isabelle_System.system_out, with propagation of thread interrupts and process shutdown (global CTRL-C);
2009-12-28 wenzelm 2009-12-28 higher-order treatment of temporary files;
2009-12-27 wenzelm 2009-12-27 factored-out Library.decode_permissive_utf8;
2009-12-20 wenzelm 2009-12-20 simiplified result of keyword parser (again); sort completions by plain string order; moved Reverse to library.scala;
2009-12-19 wenzelm 2009-12-19 added basic library -- Scala version; added extra support for exceptions -- Scala version; moved exn.ML to accompany exn.scala;