Wed, 15 Feb 2012 18:35:41 +0100 | tuned - formatting for latex generation | file | diff | annotate |
Tue, 14 Feb 2012 22:55:03 +0100 | tuned - partitially formated | file | diff | annotate |
Tue, 25 Oct 2011 23:50:45 +0200 | tuned after meeting | file | diff | annotate |