Tue, 11 Dec 2012 21:05:38 +0100 | wenzelm | just one class with parameters; | file | diff | annotate |
Mon, 08 Oct 2012 12:02:32 +0200 | wenzelm | more basic tooltips; | file | diff | annotate |
Wed, 26 Sep 2012 15:01:45 +0200 | wenzelm | more uniform graphview terminology; | file | diff | annotate |
Wed, 26 Sep 2012 14:23:33 +0200 | wenzelm | tuned pretty_locale/print_locale, with more basic pretty_locale_deps based on that; | file | diff | annotate |
Tue, 25 Sep 2012 22:52:40 +0200 | wenzelm | proper jvmpath for Windows; | file | diff | annotate |
Tue, 25 Sep 2012 20:28:47 +0200 | wenzelm | ML support for generic graph display, with browser and graphview backends (via print modes); | file | diff | annotate |
Tue, 25 Sep 2012 16:55:32 +0200 | wenzelm | more complete build; | file | diff | annotate |
Mon, 24 Sep 2012 21:16:33 +0200 | wenzelm | minimal component and build setup for graphview; | file | diff | annotate |