From 451ad28e4d5f3e9580418e7a405765e3ac7fe1a4 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 2 Jul 1999 11:42:15 +0000 Subject: Missing space. --- html/main.phtml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/html/main.phtml b/html/main.phtml index cf75aeb0..c18f417e 100644 --- a/html/main.phtml +++ b/html/main.phtml @@ -101,8 +101,8 @@ To see what Proof General looks like in use, have a look at this
-You can download Proof General -or contact the developers +You can download Proof General + or contact the developers .
-- cgit v1.2.3