docs/master

log makefile

age author description
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.)