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
