[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