docs/master

log

age author description
Tue, 10 Jul 2012 18:48:32 +0200 markus schnalke Mentioned the source of the Dijkstra quote and fixed the ref system.
Tue, 10 Jul 2012 18:18:08 +0200 markus schnalke style: Fixed indent for verbatim text.
Tue, 10 Jul 2012 17:28:39 +0200 markus schnalke We won't have an abstract.
Tue, 10 Jul 2012 17:26:05 +0200 markus schnalke Various corrections and improvements.
Tue, 10 Jul 2012 17:20:21 +0200 markus schnalke hgignore: This change is not related to the document itself.
Tue, 10 Jul 2012 16:49:03 +0200 markus schnalke Applied suggestions by Boris.
Tue, 10 Jul 2012 15:58:46 +0200 markus schnalke style: Changed indent width; changed formating of lists.