Sun, 23 Aug 2015 12:10:14 +0200 | wenzelm | update focus more thoroughly; | changeset | files |
Sat, 22 Aug 2015 11:32:34 +0200 | wenzelm | tuned; | changeset | files |
Fri, 21 Aug 2015 23:27:52 +0200 | traytel | merged | changeset | files |
Fri, 21 Aug 2015 16:10:11 +0200 | traytel | don't use types that come from the database---they are inconsistent with the ones occurring in the terms | changeset | files |
Fri, 21 Aug 2015 22:11:55 +0200 | wenzelm | tuned; | changeset | files |
Fri, 21 Aug 2015 20:58:23 +0200 | wenzelm | clarified linux application bundle; | changeset | files |
Fri, 21 Aug 2015 20:47:53 +0200 | wenzelm | more version information; | changeset | files |