From 9ea8cd404189c747069b68ff8f86900ef03f756f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 15 Oct 1999 16:14:43 +0000
Subject: Formatting

---
 html/main.phtml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/main.phtml b/html/main.phtml
index a04de07e..548edc72 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -96,7 +96,9 @@ including:
 </table>
 <p>
 We also supply instructions for how to customize Proof General to new
-proof assistants.  Experimental support for new proof assistants is
+proof assistants.  
+<br>
+Experimental support for new proof assistants is
 made available in our developers release.
 </p>
 
-- 
cgit v1.2.3