diff options
author | 2000-03-01 11:23:52 +0000 | |
---|---|---|
committer | 2000-03-01 11:23:52 +0000 | |
commit | f071096e10094886de0110fc48f40bf32713325b (patch) | |
tree | 042a9fb8b9e38df16f4b9f7df517f318fe764246 /html | |
parent | f9d4f732f2af7f706afbd97f53bbb020154375b3 (diff) |
Unify terminology.
Diffstat (limited to 'html')
-rw-r--r-- | html/devel.phtml | 2 | ||||
-rw-r--r-- | html/develdownload.phtml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/html/devel.phtml b/html/devel.phtml index 44a34f71..a55238d0 100644 --- a/html/devel.phtml +++ b/html/devel.phtml @@ -7,7 +7,7 @@ users and hackers! <ul> <li> -Download the current <a href="develdownload.phtml">development release</a> +Download the latest <a href="develdownload.phtml">development release</a> (please <a href="register.phtml">register</a> if you haven't already). </li> </ul> diff --git a/html/develdownload.phtml b/html/develdownload.phtml index b045ba9f..4598524f 100644 --- a/html/develdownload.phtml +++ b/html/develdownload.phtml @@ -12,7 +12,7 @@ including forthcoming support for more proof assistants. <p> Pre-releases of Proof General may be buggy as we add new features and experiment with them. Nonetheless, we welcome bug reports. But -please make sure you are using the current pre-release before +please make sure you are using the latest pre-release before reporting problems. </p> |