From: SeongJae Park <sj38.park@xxxxxxxxx> This patchset contains trivial fixups for formal/, which found from its Korean translation[1]. [1] https://github.com/sjp38/perfbook-ko_KR SeongJae Park (12): formal/formal: Drop cppmem from 'Special-Purpose State-Space Search' section explanation formal/spinhint: Use \qco{} instead of ``\co{}'' formal/spinhint: Enclose example code snippets with \co{} formal/spinhint: Do not call 2013 paper as recent formal/dyntickrcu: Quote 'trail' file consistently formal/dyntickrcu: Use \qco{} instead of ``\co{}'' formal/ppcmem: Use uppercase 'S' for Spin formal/ppcmem: Use \qco{} instead of ``\co{}'' formal/ppcmem: Add missed non-breakable spaces formal/ppcmem: Enclose example code snippets with \co{} formal/ppcmem: s/powerpc/PowerPC/ on sentences formal/ppcmem: Fix label name for Fail1: formal/axiomatic.tex | 30 +++++++++++++++--------------- formal/dyntickrcu.tex | 10 +++++----- formal/formal.tex | 2 +- formal/ppcmem.tex | 26 +++++++++++++------------- formal/spinhint.tex | 16 ++++++++-------- 5 files changed, 42 insertions(+), 42 deletions(-) -- 2.17.1
