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@xxxxxxxxx>
> 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@xxxxxxxxx>
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
>
--
To unsubscribe from this list: send the line "unsubscribe perfbook" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
