On Sat, Apr 08, 2023 at 10:32:57AM -0700, SeongJae Park wrote: > 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 Queued and pushed, thank you!!! Thanx, Paul > 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 >
