[PATCH 0/3] some editorial patches for 1.3-csd01

Incorporate some feedback, and work around a possible bug in latexdiff -- should hopefully be ready now for public review, keeping fingers crossed...  Cornelia Huck (3):
editorial: various fixes for 1.3-csd01
editorial: update "Computer Language Definitions" URL
makediff: update list of cherry-picks
REVISION
2 +-  REVISION-DATE
2 +-  changelog.tex
2 +-  introduction.tex
11 +++++++++--  makediff.sh
3 +--  title.tex
15 ++++++

---------

6 files changed, 19 insertions(+), 16 deletions(-)  --  2.41.0