| Tue, 08 Jan 2013 18:24:52 +0100 | wenzelm | upper bound for font size; | file | diff | annotate |
| Sat, 08 Dec 2012 22:19:24 +0100 | wenzelm | basic monitor panel, using the powerful jfreechart library; | file | diff | annotate |
| Tue, 04 Dec 2012 11:06:51 +0100 | wenzelm | provide general insert_line_padding as convenience operation, e.g. for BeanShell macros; | file | diff | annotate |
| Fri, 30 Nov 2012 21:30:24 +0100 | wenzelm | renamed dockable "Prover Session" to "Theories"; | file | diff | annotate |
| Sun, 25 Nov 2012 21:40:34 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sun, 25 Nov 2012 21:35:29 +0100 | wenzelm | tuned signature; | file | diff | annotate | base |