[jcsp] fix description

gil gil at fedoraproject.org
Tue Nov 25 20:04:06 UTC 2014


commit 4e4626b8148f580cb31d2bce514db41a67fa6169
Author: gil <puntogil at libero.it>
Date:   Tue Nov 25 21:03:44 2014 +0100

    fix description

 jcsp.spec |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/jcsp.spec b/jcsp.spec
index 1e6d3f9..89ae28e 100644
--- a/jcsp.spec
+++ b/jcsp.spec
@@ -30,7 +30,7 @@ theory for specifying and verifying complex patterns of
 behavior arising from interactions between concurrent
 objects.
 
-JSCP provides a base range of CSP primitives plus a rich set of
+JCSP provides a base range of CSP primitives plus a rich set of
 extensions. Also included is a package providing CSP process
 wrappers giving a channel interface to all Java AWT widgets
 and graphics operations.  It is extensively (java/documented)


More information about the scm-commits mailing list