Paul E. McKenney (8):
      utilities/torelease.sh: Avoid truncating change log
      debugging: Updates and wordsmithing, take one
      Bibliography update
      debugging: Updates and wordsmithing, take two
      Bibliography update
      debugging: Updates and wordsmithing, take three
      Bibliography update
      formal: Updates and wordsmithing

 bib/RCU.bib               |  42 ++++
 bib/realtime.bib          |  18 ++
 bib/swtools.bib           |  50 +++++
 debugging/RCUnearMiss.svg |  91 ++++----
 debugging/debugging.tex   | 551 ++++++++++++++++++++++++----------------------
 formal/axiomatic.tex      |   3 +-
 formal/dyntickrcu.tex     |  18 +-
 formal/formal.tex         |  26 ++-
 formal/ppcmem.tex         |  30 ++-
 formal/spinhint.tex       |  24 +-
 utilities/torelease.sh    |   7 +-
 11 files changed, 504 insertions(+), 356 deletions(-)