* [PATCH] formal: Replace 'article' with 'section'
@ 2016-10-26 15:07 Akira Yokosawa
2016-10-26 15:22 ` Paul E. McKenney
0 siblings, 1 reply; 2+ messages in thread
From: Akira Yokosawa @ 2016-10-26 15:07 UTC (permalink / raw)
To: Paul E. McKenney; +Cc: perfbook, Akira Yokosawa
From 32b72b9fccd06a3ea30cd844e8361a176a9892aa Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@gmail.com>
Date: Sat, 22 Oct 2016 20:35:44 +0900
Subject: [PATCH] formal: Replace 'article' with 'section'
This commit removes a remnant of this section's origin in LWN.
Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
---
formal/spinhint.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index ec53a7f..906de31 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -51,7 +51,7 @@ book~\cite{Holzmann03a} on Promela and Spin,
as well as searchable online references starting at:
\url{http://www.spinroot.com/spin/Man/index.html}.
-The remainder of this article describes how to use Promela to debug
+The remainder of this section describes how to use Promela to debug
parallel algorithms, starting with simple examples and progressing to
more complex uses.
--
2.7.4
^ permalink raw reply related [flat|nested] 2+ messages in thread* Re: [PATCH] formal: Replace 'article' with 'section'
2016-10-26 15:07 [PATCH] formal: Replace 'article' with 'section' Akira Yokosawa
@ 2016-10-26 15:22 ` Paul E. McKenney
0 siblings, 0 replies; 2+ messages in thread
From: Paul E. McKenney @ 2016-10-26 15:22 UTC (permalink / raw)
To: Akira Yokosawa; +Cc: perfbook
On Thu, Oct 27, 2016 at 12:07:02AM +0900, Akira Yokosawa wrote:
> >From 32b72b9fccd06a3ea30cd844e8361a176a9892aa Mon Sep 17 00:00:00 2001
> From: Akira Yokosawa <akiyks@gmail.com>
> Date: Sat, 22 Oct 2016 20:35:44 +0900
> Subject: [PATCH] formal: Replace 'article' with 'section'
>
> This commit removes a remnant of this section's origin in LWN.
>
> Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
Good eyes! Applied and pushed, thank you.
Thanx, Paul
> ---
> formal/spinhint.tex | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/formal/spinhint.tex b/formal/spinhint.tex
> index ec53a7f..906de31 100644
> --- a/formal/spinhint.tex
> +++ b/formal/spinhint.tex
> @@ -51,7 +51,7 @@ book~\cite{Holzmann03a} on Promela and Spin,
> as well as searchable online references starting at:
> \url{http://www.spinroot.com/spin/Man/index.html}.
>
> -The remainder of this article describes how to use Promela to debug
> +The remainder of this section describes how to use Promela to debug
> parallel algorithms, starting with simple examples and progressing to
> more complex uses.
>
> --
> 2.7.4
>
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-10-26 15:22 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-10-26 15:07 [PATCH] formal: Replace 'article' with 'section' Akira Yokosawa
2016-10-26 15:22 ` Paul E. McKenney
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.