docs/master

log makefile

age author description
Fri, 06 Jul 2012 10:13:55 +0200 markus schnalke bib: Split bib into RFCs and the rest.
Thu, 05 Jul 2012 20:32:41 +0200 markus schnalke Added the confirmation of own work and a colophon, listing the tools used.
Tue, 03 Jul 2012 11:28:45 +0200 markus schnalke Renamed Summary to Future of mmh; added some text fragments there.
Tue, 26 Jun 2012 22:06:20 +0200 markus schnalke New text on Standard Libraries plus spellchecking.
Mon, 25 Jun 2012 14:19:41 +0200 markus schnalke makefile: Ignore errors of ps2pdf. (Embedding only a subset of the font.)
Mon, 25 Jun 2012 10:07:33 +0200 markus schnalke makefile: Minor improvements.
Sun, 24 Jun 2012 22:00:16 +0200 markus schnalke makefile: Target `spell' to help with spell checking.