Sat, 15 Aug 2015 19:42:35 +0200 | wenzelm | clarified context; | changeset | files |
Sat, 15 Aug 2015 19:11:11 +0200 | wenzelm | tuned GUI; | changeset | files |
Sat, 15 Aug 2015 19:07:11 +0200 | wenzelm | proper setup of evaluation context; | changeset | files |