From 0343b2b7187a599d2373e92e00d5e8ad7da91c3f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 29 Sep 2000 17:47:34 +0000 Subject: Remove messy link_root links. --- html/oldnews.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'html/oldnews.html') diff --git a/html/oldnews.html b/html/oldnews.html index ab36d1a0..1ef78c93 100644 --- a/html/oldnews.html +++ b/html/oldnews.html @@ -52,7 +52,7 @@ see the
Proof General 3.1 is now available from the -. Enjoy! +download page. Enjoy!
There is now a new -. +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. -- cgit v1.2.3