[debian-edu-commits] debian-edu/lambdacan.git (#21) - master (branch) updated: upstream/2.0-20-g03f7791

[anthony gasperin]

The branch, master has been updated
       via  03f779152c610e01701bf0c0d0da8038fae3f8f9 (commit)
      from  63ac04fcff3cc14bfb5fcb114950496bf78ea614 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 03f779152c610e01701bf0c0d0da8038fae3f8f9
Author: Anthony Gasperin <anthony.gasperin at gmail.com>
Date:   Sat Aug 31 11:02:12 2013 +0200

    man pages

-----------------------------------------------------------------------

Summary of changes:
 debian/lambdacan.1 |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

The diff of changes is:
diff --git a/debian/lambdacan.1 b/debian/lambdacan.1
index 513dd38..2885082 100644
--- a/debian/lambdacan.1
+++ b/debian/lambdacan.1
@@ -19,7 +19,7 @@
 .SH NAME
 lambdacan \- Lambda-calculus interpreter in a can !
 .SH SYNOPSIS
-.B lambdacan
+.B lci
 .RI [ options ] " files" ...
 .br
 .\".B bar
@@ -60,7 +60,7 @@ This function, for example, takes one argument x and returns the value of that a
 
 To reduce, we match the argument A with the formal parameter x, and then replace all occurrences of x in the body with A. The -> symbol indicates one step of reduction, the \\> symbol indicates no further reduction is possible.
 
-Here's the formal grammar LambdaCan uses. Note that you can put spaces and carriage returns anywhere you want, but you must end your input with ;;
+Here's the formal grammar the lci interpreter uses. Note that you can put spaces and carriage returns anywhere you want, but you must end your input with ;;
 
 START    ::= FORMULA ';;
 .br


hooks/post-receive
-- 
lambdacan.git (Debian package lambdacan)

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "lambdacan.git" (Debian package lambdacan).