diff options
| author | David Aspinall | 1999-08-20 18:46:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-08-20 18:46:08 +0000 |
| commit | db3cb92031f897dd0df1275f71b558b1e62ea793 (patch) | |
| tree | f40bb30d0e2fde4d97203951b5cc1d6e93576a34 /html | |
| parent | ff40e2d916988ed20e2f89b0063bb3d814072070 (diff) | |
Admit that unstable means bugs.
Diffstat (limited to 'html')
| -rw-r--r-- | html/download.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/download.phtml b/html/download.phtml index 76e0b78e..c28641ff 100644 --- a/html/download.phtml +++ b/html/download.phtml @@ -107,7 +107,7 @@ any problems, suggestions, or patches. <!-- End Warning. --> <p> -This pre-release of Proof General may be unstable as new +This pre-release of Proof General may be buggy as new features are added and experimented with. <br> Check the |