docs/master

log makefile

age author description
Thu, 12 Jul 2012 00:56:47 +0200 markus schnalke Added separate RFC page to the references.
Thu, 12 Jul 2012 00:39:41 +0200 markus schnalke Added refs to the Preface; splitted the bib.
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.
Mon, 09 Jul 2012 17:41:05 +0200 markus schnalke Renamed Chapter 3 back from `Future of mmh' to `Summary'.
Sat, 07 Jul 2012 14:41:35 +0200 markus schnalke makefile: Fixed building of refs.
Fri, 06 Jul 2012 14:59:08 +0200 markus schnalke Added system for references within the document. Macros: .Id and .Cf.
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.
Sat, 23 Jun 2012 22:12:14 +0200 markus schnalke Renamed the chapters to speaking names.
Fri, 15 Jun 2012 21:43:04 +0200 markus schnalke Added a grap diagram. Needed to adjust the makefile (soelim, grap, pic).
Wed, 06 Jun 2012 10:56:14 +0200 markus schnalke Moved TOC from end to beginning; extended makefile.
Tue, 15 May 2012 19:19:17 +0200 markus schnalke refer: Added refer; the bib contains various entries already.
Sat, 03 Mar 2012 12:55:57 +0100 markus schnalke Initial commit: Basic structure, macros and fonts.