From 22bbe905ca557d4db87e55f36b6f6412c1a6ddc2 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 1 Dec 1999 19:16:57 +0000 Subject: Fix broken link --- html/main.phtml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'html') diff --git a/html/main.phtml b/html/main.phtml index 545d108a..5eafc41f 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -106,7 +106,8 @@ made available in our developers release.

To read more about what features Proof General -provides, click here. +provides, +.
To see what Proof General looks like in use, have a look at these screenshots. -- cgit v1.2.3