From ce2413d4ba78cacb8d5e098ed1421456bb811e53 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 28 Sep 2000 15:14:22 +0000 Subject: Moved to use .html instead of .phtml --- html/main.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'html/main.html') diff --git a/html/main.html b/html/main.html index 7844d527..614c194a 100644 --- a/html/main.html +++ b/html/main.html @@ -24,11 +24,11 @@ To read more about what Proof General provides, . To see what Proof General looks like in use, have a look at these -screenshots. +screenshots. To download Proof General, visit the . To contact the developers, click -. +.

-- cgit v1.2.3