summaryrefslogtreecommitdiff
path: root/src/coq/README
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-30 15:28:56 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-30 15:28:56 -0500
commitfa906ca9e2e31d809221badd35ba1e93eaf3a8e5 (patch)
tree46bd1fc7feee6dad73467084bb05bff6b03b69c4 /src/coq/README
parent3563920e17dc55436bb1a92ac192af3fc8e1f61a (diff)
Update Coq semantics for 8.3pl2
Diffstat (limited to 'src/coq/README')
-rw-r--r--src/coq/README2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/coq/README b/src/coq/README
index 963a7d16..10cb01e5 100644
--- a/src/coq/README
+++ b/src/coq/README
@@ -1,3 +1,3 @@
This is a Coq formalization of a simplified version of the Ur programming language.
-It has only been tested with Coq version 8.1pl3.
+It has only been tested with Coq version 8.3pl2.