From b0271c09ea129fbba6943c71deedfebb17c7f2c1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 29 Aug 2002 16:24:25 +0000 Subject: Missing tag --- html/main.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/main.html b/html/main.html index 66b8efbc..d801f746 100644 --- a/html/main.html +++ b/html/main.html @@ -11,7 +11,7 @@ in the University of Edinburgh.
To find out more, check the - + features list and look at the screenshots. To get Proof General, visit the -- cgit v1.2.3