diff options
Diffstat (limited to 'src/coq/README')
-rw-r--r-- | src/coq/README | 2 |
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. |