diff options
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> |