diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-02-15 15:54:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-02-15 15:54:17 +0000 |
| commit | 4510d8a51d97279dddf4822b0577ad55861f0a27 (patch) | |
| tree | 90b65626ca7915406cabdcac9e075a691724eb5d /html | |
| parent | 1cd5d9be44aa81744fd06f211c54e99eaf8574fd (diff) | |
Rephrasing.
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/html/news.phtml b/html/news.phtml index b38005f9..99db3896 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -12,9 +12,12 @@ There is now a new <?php link_root("devel","page for developers") ?>. I plan to apply for funding to continue managing the evolution and development of Proof General, once my own job position -is more secure. Now is the time to flesh out ideas -for the future! Check the development page for the -latest proposals. +is more secure. +Now is the time to flesh out ideas +for the future! +Check the development page for the +latest proposals. These include some desirable contributions +which could be undertaken as self-contained projects. </p> <li><b>9th February 2000</b> <p> |