Thu, 10 Nov 2011 22:39:32 +0100 | wenzelm | more generous margin; | file | diff | annotate |
Sat, 10 Sep 2011 16:30:08 +0200 | wenzelm | some keyboard shortcuts for important actions; | file | diff | annotate |
Wed, 17 Aug 2011 16:01:27 +0200 | wenzelm | some convenience actions/shortcuts for control symbols; | file | diff | annotate |
Wed, 08 Jun 2011 21:40:54 +0200 | wenzelm | simplified directory structure; | file | diff | annotate | base |