diff options
| author | David Aspinall | 2000-10-02 18:19:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-10-02 18:19:03 +0000 |
| commit | 4b9159844e4cedfc0b164902ce5034df937c7129 (patch) | |
| tree | f09ce82bbbbf19b1922b2fe649e3fe562a408944 /html | |
| parent | edfec2e03ef203bd64ff58a08fb9be3cd0f7b21d (diff) | |
Note about current pre-release being outdated wrt 3.2
Diffstat (limited to 'html')
| -rw-r--r-- | html/develdownload.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/html/develdownload.html b/html/develdownload.html index e486c8fc..ac95f806 100644 --- a/html/develdownload.html +++ b/html/develdownload.html @@ -4,6 +4,11 @@ ?> <p> +<b>NOTE:</b> The current pre-release is the same as version 3.2. +It won't be updated with new features for a while. +</p> + +<p> <a href="#prerel">Below</a> is the latest pre-release of Proof General, made available for those who wish to test the latest features or bug fixes. For developers, this release is also available as a |