tag name | V8.3-beta0 (f3836c951894fb4654aaca3f635593a28e7c2712) |
tag date | 2013-11-18 17:55:34 (GMT) |
tagged by | Pierre Letouzey <pierre.letouzey@inria.fr> |
tagged object | commit f7e80f56a6... |
download | coq-8.3-beta0.zip coq-8.3-beta0.tar.gz coq-8.3-beta0.tar.bz2 |
---|
Restoring SVN tags