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 f11f7c3..625ac67 100755
--- a/
configure
+++ b/
configure
@@ -6,7 +6,7 @@
#
##################################
-VERSION=8.3-bugfix
+VERSION=8.3-beta0
VOMAGIC=08300
STATEMAGIC=58300
DATE=`LANG=C date +"%B %Y"`