preface updates based on feedback from Bernd
authorChristian Grothoff <christian@grothoff.org>
Thu, 28 Jun 2018 10:39:52 +0000 (12:39 +0200)
committerChristian Grothoff <christian@grothoff.org>
Thu, 28 Jun 2018 15:03:16 +0000 (17:03 +0200)
commit1ded1c1bb3bcb16d1770f03b299fcaa0a0c2d813
tree137881310f0a9dff3dfc2b4626f8d336ededa735
parente4f299913041eb462be424c57268d097e8d48a78
preface updates based on feedback from Bernd
doc/documentation/chapters/preface.texi