[PATCH 0/7] future: Trivial fixups

This patchset contains trivial fixups for future/, which found while
doing Korean translation[1].

[1] https://github.com/sjp38/perfbook-ko_KR

SeongJae Park (7):
  future/tm: Remove unnecessary spaces
  future/tm: Add introduction of TM-availabe options for locking
  future/tm: Consistently add dash between reader and writer of
    reader-writer lock
  future/htm: Remove unnecessary extra 'and'
  future/htm: Use \co{} in favor of $$
  future/formalregress: Use \co{} for spin
  future/formalregress: Use SEL4 consistently

 future/formalregress.tex | 6 +++---
 future/htm.tex           | 4 ++--
 future/tm.tex            | 8 +++++---
 3 files changed, 10 insertions(+), 8 deletions(-)

-- 
2.17.1