docs/master
log makefile
age | author | description |
---|---|---|
Wed, 11 Jul 2012 11:04:43 +0200 | markus schnalke | Added appendix ``tools of mmh'' |
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 17:28:39 +0200 | markus schnalke | We won't have an abstract. |