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. |