Sun, 08 Feb 2009 23:57:50 +0100 |
meillo |
remove obsolete comments plus tiny fixes
|
Sun, 08 Feb 2009 22:51:42 +0100 |
meillo |
finished the indexing in a huge last effort
|
Sat, 07 Feb 2009 23:47:34 +0100 |
meillo |
fixed all major trashing of the right margin
|
Sat, 07 Feb 2009 12:00:11 +0100 |
meillo |
fixed all half-spaces after RF, RG, TODO
|
Sat, 07 Feb 2009 11:42:45 +0100 |
meillo |
applied comments by henry atting
|
Fri, 06 Feb 2009 15:59:33 +0100 |
meillo |
added acknowledgments
|
Mon, 02 Feb 2009 12:04:32 +0100 |
meillo |
applied comments by henry atting and jochen roth
|