index
:
coq
master
v8.0
v8.1
v8.10
v8.11
v8.12
v8.13
v8.14
v8.15
v8.16
v8.17
v8.18
v8.19
v8.2
v8.3
v8.4
v8.5
v8.6
v8.7
v8.8
v8.9
El asistente de pruebas Coq
mirror
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
Diffstat
-rwxr-xr-x
configure
2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure b/configure
index 17e04b4..4c51623 100755
--- a/
configure
+++ b/
configure
@@ -6,7 +6,7 @@
#
##################################
-VERSION=8.3
+VERSION=8.3pl2
VOMAGIC=08300
STATEMAGIC=58300
DATE=`LANG=C date +"%B %Y"`