| Wed, 26 Sep 2012 14:52:18 +0200 | wenzelm | obsolete; | changeset | files |
| Wed, 26 Sep 2012 14:50:46 +0200 | wenzelm | updated keywords; | changeset | files |
| Wed, 26 Sep 2012 14:38:23 +0200 | wenzelm | more uniform graphview terminology; | changeset | files |
| Wed, 26 Sep 2012 14:23:33 +0200 | wenzelm | tuned pretty_locale/print_locale, with more basic pretty_locale_deps based on that; | changeset | files |
| Wed, 26 Sep 2012 14:13:07 +0200 | wenzelm | proper install_fonts; | changeset | files |
| Tue, 25 Sep 2012 22:52:40 +0200 | wenzelm | proper jvmpath for Windows; | changeset | files |
| Tue, 25 Sep 2012 22:36:06 +0200 | wenzelm | basic integration of graphview into document model; | changeset | files |