From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: SeongJae Park <sj38.park@gmail.com>
Cc: akiyks@gmail.com, perfbook@vger.kernel.org
Subject: Re: [PATCH v2] formal/dyntickrcu: Adjust font size of sample code
Date: Tue, 27 Sep 2016 09:14:14 -0700 [thread overview]
Message-ID: <20160927161414.GK14933@linux.vnet.ibm.com> (raw)
In-Reply-To: <20160921130548.9393-1-sj38.park@gmail.com>
On Wed, Sep 21, 2016 at 10:05:48PM +0900, SeongJae Park wrote:
> Code for `dyntickRCU-irqnn-ssl.spin` has a too long line. Because the
> line breaks the layout, this commit reduces font size of the sample code
> for better layout.
>
> Suggested-by: Akira Yokosawa <akiyks@gmail.com>
> Signed-off-by: SeongJae Park <sj38.park@gmail.com>
Thank you both!
SeongJae, could you please resend the series? Sorry to be so picky,
but you might be underestimating my ability to apply the wrong patch
at the wrong time. ;-)
Thanx, Paul
> ---
> formal/dyntickrcu.tex | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/formal/dyntickrcu.tex b/formal/dyntickrcu.tex
> index d0b2c6e..a63d324 100644
> --- a/formal/dyntickrcu.tex
> +++ b/formal/dyntickrcu.tex
> @@ -1252,7 +1252,7 @@ and finally lines~32-43 model \co{rcu_irq_exit()}.
>
> The \co{grace_period()} process then becomes as follows:
>
> -{ \scriptsize
> +{ \fontsize{6.7pt}{8pt}\selectfont
> \begin{verbatim}
> 1 proctype grace_period()
> 2 {
> --
> 2.10.0
>
next prev parent reply other threads:[~2016-09-27 16:14 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-09-21 2:44 [PATCH 00/17] Fixup `Formal Verification` chapter SeongJae Park
2016-09-21 2:44 ` [PATCH 01/17] formal: Rearrange promela sample code location SeongJae Park
2016-09-21 2:44 ` [PATCH 02/17] formal/spinhint: Add missing NBSPs SeongJae Park
2016-09-21 2:44 ` [PATCH 03/17] formal/spinhint: Fix typos SeongJae Park
2016-09-21 2:44 ` [PATCH 04/17] formal/spinhint: Use \path{} for file name quotation SeongJae Park
2016-09-21 2:44 ` [PATCH 05/17] formal/spinhint: Use \co{} for variable quotation consistently SeongJae Park
2016-09-21 2:44 ` [PATCH 06/17] formal/spinhint: Reference figure SeongJae Park
2016-09-21 2:44 ` [PATCH 07/17] formal/dyntickrcu: Add missing NBSPs SeongJae Park
2016-09-21 2:44 ` [PATCH 08/17] formal/dyntickrcu: Append `()` to function name quotations SeongJae Park
2016-09-21 2:44 ` [PATCH 09/17] formal/dyntickrcu: Fix typos SeongJae Park
2016-09-21 10:57 ` Akira Yokosawa
2016-09-21 12:59 ` SeongJae Park
2016-09-21 13:01 ` [PATCH v2] " SeongJae Park
2016-09-21 2:44 ` [PATCH 10/17] formal/dyntickrcu: Fix wrong line number quotation SeongJae Park
2016-09-21 2:44 ` [PATCH 11/17] formal/dyntickrcu: Fix wrong function name quotation SeongJae Park
2016-09-21 2:44 ` [PATCH 12/17] formal/ppcmem: Fix typo for \co{} SeongJae Park
2016-09-21 2:44 ` [PATCH 13/17] formal/ppcmem: Use \co{} for instruction quotation SeongJae Park
2016-09-21 2:44 ` [PATCH 14/17] formal/ppcmem: Use P0 instead of thread 1 SeongJae Park
2016-09-21 2:44 ` [PATCH 15/17] formal/ppcmem: Substitute `paper` with `chapter` SeongJae Park
2016-09-21 2:44 ` [PATCH 16/17] formal/ppcmem: Polish a sentence by removing unnecessary conjunction SeongJae Park
2016-09-21 2:44 ` [PATCH 17/17] formal/dyntickrcu: Shorten too long code line length SeongJae Park
2016-09-21 11:30 ` Akira Yokosawa
2016-09-21 13:05 ` SeongJae Park
2016-09-21 13:05 ` [PATCH v2] formal/dyntickrcu: Adjust font size of sample code SeongJae Park
2016-09-27 16:14 ` Paul E. McKenney [this message]
2016-09-27 21:54 ` SeongJae Park
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20160927161414.GK14933@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=akiyks@gmail.com \
--cc=perfbook@vger.kernel.org \
--cc=sj38.park@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.