Update README.md

clarus · clarus · commit 0dced01e92a2 · 2015-01-28T13:40:49.000+01:00
diff --git a/README.md b/README.md
@@ -1,2 +1,2 @@
-# Concurrency Proxy
+# Proxy
 A proxy to interface concurrent Coq programs with the operating system.

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`		`-# Concurrency Proxy`
	`1`	`+# Proxy`
`2`	`2`	`A proxy to interface concurrent Coq programs with the operating system.`