| Sat, 03 Jul 2010 20:36:30 +0200 | wenzelm | more precise timing; | file | diff | annotate |
| Fri, 21 May 2010 23:19:27 +0200 | wenzelm | tuned zoom_box; | file | diff | annotate |
| Fri, 21 May 2010 11:50:19 +0200 | wenzelm | added Library.undefined (in Scala); | file | diff | annotate |
| Thu, 20 May 2010 23:19:28 +0200 | wenzelm | added somewhat generic zoom box; | file | diff | annotate |
| Mon, 10 May 2010 23:46:49 +0200 | wenzelm | simple dialogs: ensure Swing thread; | file | diff | annotate |
| Thu, 06 May 2010 23:32:29 +0200 | wenzelm | added separate; | file | diff | annotate |
| Thu, 06 May 2010 21:02:34 +0200 | wenzelm | slightly more general Library.chunks; | file | diff | annotate |
| Mon, 11 Jan 2010 22:01:01 +0100 | wenzelm | tuned message; | file | diff | annotate |
| Mon, 11 Jan 2010 20:36:59 +0100 | wenzelm | timeit message; | file | diff | annotate |
| Thu, 31 Dec 2009 23:47:09 +0100 | wenzelm | added simple dialogs; | file | diff | annotate |
| Mon, 28 Dec 2009 18:40:13 +0100 | wenzelm | moved Library.decode_permissive_utf8 to Isabelle_System; | file | diff | annotate |
| Mon, 28 Dec 2009 16:45:01 +0100 | wenzelm | higher-order treatment of temporary files; | file | diff | annotate |
| Sun, 27 Dec 2009 23:09:16 +0100 | wenzelm | factored-out Library.decode_permissive_utf8; | file | diff | annotate |
| Sun, 20 Dec 2009 15:44:07 +0100 | wenzelm | simiplified result of keyword parser (again); | file | diff | annotate |
| Sat, 19 Dec 2009 16:02:26 +0100 | wenzelm | added basic library -- Scala version; | file | diff | annotate |